Morphism of field extensions Category of field extensions The category of extensions of is a category where an object is a extension field of and a morphism is a morphism of field extensions. field tidy | en | sembr