Tiny covariant representable functor on a category with binary coproducts

ID: tiny-covariant-representable-functor-on-a-category-with-binary-coproducts

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.

New to topics? Read the docs here!