Cartesian morphism
Redirect to:
Fibred category#Cartesian morphisms and functors