Sjoerd Visscher on Nostr: nprofile1q…aral2 Well, in the case of profunctors simple Yoneda is just the fact ...
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2 (nprofile…ral2) Well, in the case of profunctors simple Yoneda is just the fact that the hom-functor is the identity of profunctor composition. But maybe you want something more fancy in the general case? The Koudenburg stuff is over my head 😅