Yoneda embedding preserves exponentials
ID: yoneda-embedding-preserves-exponentials
For a small Cartesian closed category, the Yoneda embedding into its presheaf category preserves exponential objects. At , the exponential in a presheaf category has value . Since , the Yoneda lemma identifies this with . Every identification is natural in all three objects.
New to topics? Read the docs here!