The Yoneda embedding sends to . The Yoneda lemma identifies natural transformations with morphisms , so the embedding is full and faithful. It preserves every limit that exists in .
New to topics? Read the docs here!
New to topics? Read the docs here!