Monthly Archives: December 2017

#HoTT and computer formalization

https://golem.ph.utexas.edu/category/2015/06/whats_so_hott_about_formalizat.html

Posted in Computer science, homotopy type theory | Tagged

#HoTT : dependent type theoretic methods in natural langage semantics

https://ncatlab.org/nlab/show/dependent%20type%20theoretic%20methods%20in%20natural%20language%20semantics https://nforum.ncatlab.org/discussion/6794/dependent-type-theoretic-methods-in-natural-language-semantics/ https://hal.archives-ouvertes.fr/hal-01628150/document

Posted in homotopy type theory

« Process and reality «  de Whitehead dans le langage métaphysique des catégories

http://nickrossiter.org.uk/process/Krakow14-2.pdf

Posted in category theory, Higher category theory, Higher topos theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory) | Tagged , ,

Le lemme de Yoneda et la « connaissance par limite » chez Lacuria

Le lemme de Yoneda est un des premiers résultats significatifs de la théorie des catégories, tous les manuels d’introduction le présentent et insistent sur son importance mais Emily Riehl est celle qui va le plus loin en déclarant dans son … Continue reading

Posted in category theory, DIEU, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , ,

Bartosz Milewski : foncteurs représentables et lemme de Yoneda

Sur le blog de Bartosz Milewski: Category Theory for Programmers: The Preface https://bartoszmilewski.com/category/category-theory/

Posted in category theory, Higher category theory, Higher topos theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

Foncteurs représentables et lemme de Yoneda

Posted in category theory, Higher category theory, Higher topos theory, Philosophie mathématique, Science-internelle, Théorie des topoi (topos theory)

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

Posted in category theory, homotopy type theory, Philosophie mathématique