#HoTT : how is The Yoneda lemma related to path induction

https://www.quora.com/Homotopy-Type-Theory-How-is-the-Yoneda-lemma-related-to-path-induction

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.