Locally Cartesian closed category
= Locally Cartesian closed category
= Locally Cartesian closed
{synonym}
A category with finite limits is locally Cartesian closed when every <slice category> is a <Cartesian closed category>. Covariant set-valued functor categories on small categories have this property, using the equivalence between their slices and functor categories on categories of elements.