locally cartesian closed functor

A locally cartesian closed functor is a functor between locally cartesian closed categories that preserves the locally cartesian closed structure up to coherent isomorphism. cartesian closed category, locally cartesian closed category cartesian closed functor, locally cartesian closed functor cartesian closed model category, locally cartesian closed model category cartesian closed (∞,1)-category, locally cartesian closed (∞,1)-category Elephant C3.3.1