Category of fields (source code)

= Category of fields
{title2=$\mathbf{Fld}$}

The category of fields has fields as objects and unital field homomorphisms as morphisms. Every morphism is injective.

It is the full subcategory of the <category of rings> on field objects.