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