Section [mde-JYRL]

A section of a morphism is a right inverse for it (with respect to \(\circ \)).

In a category with pullbacks and a terminal object that is separating, this is precisely a morphism sending each point \(x\) of the base to an element of the fibre over \(x\).