Tag Archives: Mike Schulman

#HoTT and computer formalization

https://golem.ph.utexas.edu/category/2015/06/whats_so_hott_about_formalizat.html Advertisements

Posted in Computer science, homotopy type theory | Tagged

Les posts de Mike Schulman sur HoTT

https://homotopytypetheory.org/author/mikeshulman/ http://home.sandiego.edu/~shulman/papers/

Posted in homotopy type theory, Philosophie | Tagged ,

(∞,1)-topos cohésifs

L’article d’origine est toujours celui du blog “Homotopy type theory”: Axiomatic cohesion in HoTT et la Page Nlab : https://ncatlab.org/nlab/show/cohesive+(infinity,1)-topos#AsAPointLikeSpace william Lawvere a surtout insisté sur le théorie des topos, c’est à dire des 1-topos, ses travaux subissent une évoluton pour … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, homotopy type theory, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Science-internelle | Tagged , ,

Axiomatic cohesion in HOTT

J’ai déjà parlé de cet article de blog, qui fait le lien entre les travaux de Lawvere sur “axiomatic cohesion “et l’homotopy type theory, à laquelle est associée de manière solidela théorie des ∞-catégories et ∞-topoi: Axiomatic cohesion in HoTT La … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Science, mathesis, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , , , ,

Y a t’il une bulle de #HomotopyTypeTheory ?

C’est Urs Schreiber, qui sait quand même de quoi il parle, qui l’a suggéré en comparant la situation actuelle à la bulle boursière des valeurs internet vers l’an 2000: https://golem.ph.utexas.edu/category/2012/05/what_is_homotopy_type_theory_g.html Et il précise la comparaison en expliquant que le crash … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Matti Pitkanen-TGD, Philosophie, Physique, Quantum relativity, Relativité, Science, mathesis, Science-internelle | Tagged , , , , , ,

De #HigherToposTheory à #HomotopyTypeTheory

J’ai commencé à étudier sur ce blog, dans le Hashtag #HigherToposTheory l’extraordinaire livre de Jacob Lurie ” Higher Topos theory” que l’on peut lire gratuitement sur plusieurs sites, comme Arxiv, ou bien ici: http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf Le dernier article publié dans le … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bertrand Russell, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , , , , , , , , , ,

#ScienceInternelle 7 : la table périodique des n-catégories

Analogue de la table périodique es éléments de Mendeleev en chimie, cette table apparaît dans le papier de Baez et Schulman : “Lectures on n-categories and cohomology” https://ncatlab.org/nlab/show/Lectures+on+n-Categories+and+Cohomology http://math.ucr.edu/home/baez/cohomology.pdf qui est aussi le chapitre de début du livre “Towards higher … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Higher topos theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science-internelle | Tagged , , , , , , , , , , , , , , ,