Limit properties relating to the (co)yoneda embedding. #
We calculate the colimit of
Y ↦ (X ⟶ Y), which is just
(This is used in characterising cofinal functors.)
We also show the (co)yoneda embeddings preserve limits and jointly reflect them.
The yoneda embeddings jointly reflect limits.
The coyoneda embeddings jointly reflect limits.