Category of fields (source code)

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

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