Skip to content

Yoneda lemma using 0-groupoids #1527

Yoneda lemma using 0-groupoids

Yoneda lemma using 0-groupoids #1527