with the obvious composition.
There is a functor given on objects by the domain (= source) map, and on morphisms it gives the upper arrow of the commutative square. If has pushouts, then this functor is in fact an opfibered (cofibered) category in the sense of Grothendieck, whose pushforward functor amounts to the usual pushout of along in . The fiber over an object in is the undercategory . This opfibered category is called the domain opfibration over (some say the basic opfibration). This notion is dual to the notion of codomain fibration.
Although the pushforward functor in an opfibration is usually written , in the case of the domain opfibration we usually write it as instead, following the notation of algebraic geometry. Each such functor also has a right adjoint, given by precomposition (just as in the codomain fibration the pullback functors have left adjoints given by postcomposition). Thus, the the domain opfibration is in fact a bifibration, though traditionally its opfibered aspect is emphasised (and it even motivates the notion of cocartesianess for categories over categories). And while the right adjoints in a bifibration are usually written as , for the domain opfibration we write them as , again to conform to usage in algebraic geometry, where the standard string of adjoints is .