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 | Comments Off on #HoTT and computer formalization

#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 | Comments Off on #HoTT : dependent type theoretic methods in natural langage semantics

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

Click to access 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 , , | Comments Off on « Process and reality «  de Whitehead dans le langage métaphysique des catégories

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 , , | Comments Off on Le lemme de Yoneda et la « connaissance par limite » chez Lacuria

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 | Comments Off on Bartosz Milewski : foncteurs représentables et lemme de Yoneda

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) | Comments Off on Foncteurs représentables et lemme de Yoneda

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 | Comments Off on Lemme de Yoneda (théorie des catégories) et #HoTT

#Yoneda foncteurs représentables

https://en.m.wikipedia.org/wiki/Representable_functor Soit C une catégorie localement petite : cela signifie que la collection des flèches entre deux objets est un ensemble et non une classe (plus grande qu’un ensemble) Pour un objet A de C, on peut définir le foncteur … Continue reading

Posted in category theory, Higher category theory, Philosophie, Philosophie mathématique, Science-internelle | Comments Off on #Yoneda foncteurs représentables

Francesco Rosi : Lucky Luciano (1973, vf)

https://m.ok.ru/video/207122205422

Posted in Cinéma | Comments Off on Francesco Rosi : Lucky Luciano (1973, vf)

« Voyage en Italie » de Roberto Rossellini (1954); Existence positive et existence négative : être et « autrement qu’être »: Dieu- Idée , l’Un n’est pas

Commençons par ce film extraordinaire de Robert Rossellini en 1954: « Voyage en Italie » qui est ici en vostfr (Openload) http://sokrostream.tv/films/voyage-en-italie-79406.html La scène centrale en est le « moulage » des vides laissés par les corps sous la terre à Pompéi, à 1h … Continue reading

Posted in Cinéma, Cochet-Brunschvicg, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science-internelle | Tagged , , , | Comments Off on « Voyage en Italie » de Roberto Rossellini (1954); Existence positive et existence négative : être et « autrement qu’être »: Dieu- Idée , l’Un n’est pas