Field Extension

A field extension $L/K$ is Field Homomorphism $K\to L$. Note that some authors say that a field extension of $K$ is a field $L$ such that $K\subseteq L$, but this is identical, as every field homomorphism is a Monomorphism.

As extensions, field extensions are naturally Codisplayed.