Full Subcategory: Field ⊊ CRing

Field is a full subcategory of CRing. When any two commutative rings of CRing are fields in Field, all ring maps between them are field maps in Field too. Put another way, Field has only some of the objects of CRing, but all of the arrows.

In terms of stuff, structure, and properties, fields are like commutative rings but with extra properties.

full_subcategories: Field, CRing

This data as json