Tiny covariant functor on a Cauchy-complete category with an initial object is representable

ID: tiny-covariant-functor-on-a-cauchy-complete-category-with-an-initial-object-is-representable

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.

New to topics? Read the docs here!