Category of fields

The category of fields is the subcategory of containing only fields. #m/def/ring Since field homomorphisms are injective, the only morphisms are field extensions, and are thus monic. By fixing a characteristic , we may construct the subcategory , and have

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