Morphism of field extensions

Let and be field extensions, with inclusions . A morphism from to is a morphism which fixes (the image of) pointwise, #m/def/field i.e.

In this way one obtains the category .

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