Daily Archives: January 27, 2018

Léon Brunschvicg : la philosophie est la science des idées

« comprendre la civilisation à laquelle il appartient, l’âme qui se fait par elle, l’éclairer à la lumière de la réflexion, en y retrouvant l’unité vivante, le foyer intérieur du progrès, l’esprit, telle est l’oeuvre du philosophe. Cette conception place la … Continue reading

Posted in Cochet-Brunschvicg, Léon Brunschvicg, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science-internelle

(∞,1)-catégorie TYPE

Cet article « Concrete categories in homotopy type theory » https://arxiv.org/pdf/1311.1852.pdf donne l’exemple en page 2 d’une (∞,1)-catégorie TYPE dont les objets sont les types, mais il n’y a pas de méthode générale pour édifier la théorie des (∞,1)-catégories. Même verdict d’André … Continue reading

Posted in ∞-catégories, homotopy type theory