#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
Copy and paste this URL into your WordPress site to embed
Copy and paste this code into your site to embed