Let be a small Cauchy-complete category with initial object . The terminal object of is , so . If is tiny, exponentiation by is itself a left adjoint and preserves all colimits. Evaluation at zero also preserves colimits. Consequently preserves coproducts and epimorphisms, since every epimorphism in a set-valued functor category is the coequalizer of its kernel pair. Thus is an irreducible projective in a set-valued functor category, hence representable.
Articles by others on the same topic
There are currently no matching articles.