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.
Articles by others on the same topic
There are currently no matching articles.