For a small category with binary coproducts, exponentiation by in is naturally : the exponential at is by the Yoneda lemma. This precomposition functor has a right adjoint given by Right Kan extension, so is a tiny object.
Articles by others on the same topic
There are currently no matching articles.