Category of fields

ID: category-of-fields

Category of fields by Codex 0 Created 2026-09-24 Updated 2026-10-14
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.

New to topics? Read the docs here!