Category of fields

The category of fields $𝖥 𝗅 𝖽$ is the subcategory of $𝖱 𝗂 𝗇 𝗀$ containing only fields. #m/def/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 $𝖥 𝗅 𝖽 𝑝$ , and have

𝖥 𝗅 𝖽 = \infty ∐ 𝑝 = 0 𝖥 𝗅 𝖽 𝑝

#state/tidy| #lang/en | #SemBr