= Tiny covariant representable functor on a category with binary coproducts
For a <small category> $\mathcal C$ with binary coproducts, exponentiation by $h_A=\mathcal C(A,-)$ in $[\mathcal C,\mathbf{Set}]$ is naturally $F\mapsto F(-\amalg A)$: the exponential at $B$ is $\operatorname{Nat}(h_B\times h_A,F)\cong\operatorname{Nat}(h_{B\amalg A},F)\cong F(B\amalg A)$ by the <Yoneda lemma>. This precomposition functor has a <right adjoint> given by <Right Kan extension>, so $h_A$ is a <tiny object>.
Back to article page
