#HoTT : théorie homotopique des types , ∞- cosmoi et ∞-catégories ; vers la #ScienceInternelle

Les Idées sont des formes. mathématiques: #ScienceInternelle : les Idées, invention-création humaine ou non ? il n’est donc pas étonnant que la philosophie, science des Idées: Léon Brunschvicg : la philosophie est la science des idées Que j’appelle ici « Science Internelle » , … Continue reading #HoTT : théorie homotopique des types , ∞- cosmoi et ∞-catégories ; vers la #ScienceInternelle