Daily Archives: July 28, 2017

#HoTT #HigherToposTheory Quillen model categories

Ce papier titré “Procategories and homotopy theory”: http://geoffroy.horel.org/Pro-categories.pdf Démarre en soulignant l’importance des “model categories ” de Quillen comme langage de la théorie de l’homotopie et donc pour HoTT. Cette notion , et ce langage, est étudiée dans “Higher topos … Continue reading

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

#BrunschvicgAgesIntelligence 2 le “positivisme” de Comte

http://classiques.uqac.ca/classiques/brunschvicg_leon/ages_de_intelligence/brunschvicg_ages_intelligence.doc La philosophie de Comte est considérée par Brunschvicg comme trompeuse , Comte régresse en deçà de la “ligne de partage des Temps” instaurée par le cartésianisme : https://renatuscartesiusmathesisuniversalis.wordpress.com/descartes-la-ligne-de-demarcation-des-temps/ “On serait tenté de dire que Comte, en proclamant la Loi … Continue reading

Posted in Léon Brunschvicg, Philosophie, Science, mathesis | Tagged ,

Modules for Modalities

Originally posted on Homotopy Type Theory:
As defined in chapter 7 of the book, a modality is an operation on types that behaves somewhat like the n-truncation. Specifically, it consists of a collection of types, called the modal ones, together…

Posted in Philosophie