Contact Privacy DMCA

Robuta
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.yoneda-lemma-precategories.html The Yoneda lemma for precategories - agda-unimath yoneda lemmaagda