Field theory MOC Category of fields The category of fields is the subcategory of containing only fields. 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 Category of fields of characteristic p, and have tidy| en | sembr