Lemme de Yoneda (théorie des catégories) et #HoTT

A type theoretical Yoneda lemma

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

https://www.quora.com/What-is-the-simple-meaning-of-the-naturality-of-the-Yoneda-Lemma-bijection

https://www.quora.com/In-homotopy-type-theory-what-is-a-good-intuition-for-type-families-as-fibrations

Advertisements
This entry was posted in category theory, homotopy type theory, Philosophie mathématique. Bookmark the permalink.