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. #m/def/field

#state/tidy | #lang/en | #SemBr