Daily Archives: September 11, 2017

“2001 odyssée de l’espace” et Heidegger

Les philoblogzophe, dont je m’étais inspiré en partie pour l’analyse du film de Stanley Kubrick en 1968: http://skildy.blog.lemonde.fr/2007/09/19/kubrick-signification-du-monolithe-de-2001/ garde Heidegger en ligne de mire et utilise pour cela le film de Kubrick . J’ai écrit sur ce film les deux … Continue reading

Posted in Cinéma, Heidegger, Philosophie, Science-internelle | Tagged ,

#HoTT The Book : chapitre 1 function types

The HoTT Book Étant donné les types A et B on peut construire le type: A → B des fonctions ( “function”, “map”) de A à B. A la différence de la théorie des ensembles, c’est un concept primitif , … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory

#∞-cosmoi : nouveau travail de Dominic Verity et Emily Riehl : “The comprehension construction”

http://www.math.jhu.edu/~eriehl/comprehension.pdf Les ∞-cosmoi doivent être vus comme des “Univers d’Idées”, puisque les objets de ces catégories simpliciale sont pas définition les ∞-catégories, qui sont ici les Idées, ou les mathèmes d’Idées . Il existe plusieurs exemples précis d’ ∞-cosmoi : … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Tagged , ,