Tag Archives: Urs Schreiber

Urs Schreiber : what is #HoTT good for ?

La situation est comparée à la bulle des valeurs technologiques au début des anñées 2000, par Urs Schreiber, un grand Savant très engagé justement dans HoTT, notamment autour des liens avec la physique: https://golem.ph.utexas.edu/category/2012/05/what_is_homotopy_type_theory_g.html

Posted in homotopy type theory | Tagged | Comments Off on Urs Schreiber : what is #HoTT good for ?

Seminar on simplicial homotopy theory

https://www.math.ru.nl/~mgroth/teaching/simpli12.html Organisé par Groth et Urs Schreiber, avec en bas des liens intéressants

Posted in ∞-catégories, ∞-topoi, Homotopy, homotopy type theory | Tagged , | Comments Off on Seminar on simplicial homotopy theory

#HoTT Book : introduction

Le livre complet, 500 pages écrites par les experts mondiaux de cette nouvelle discipline, qui permet de fonder les mathématiques à nouveaux frais, et est très proche de la théorie des ∞-catégories et des ∞-Topoi, peut être téléchargé gratuitement ici: … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged , , , , | Comments Off on #HoTT Book : introduction

#HoTT and philosophy

Il existe sur le blog “n-category cafe” un court article de David Corfield , philosophe-mathématicien, sur ce thème : https://golem.ph.utexas.edu/category/2016/09/hott_and_philosophy.html Les “slides” de sa conférence “The modality of physical law in modal HoTT” sont ici : Click to access Bristol.pdf … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, homotopy type theory, Philosophie, Philosophie mathématique, Physique | Tagged , , , | Comments Off on #HoTT and philosophy

Identités constructives pour la physique 1: Hilbert, Lawvere, Schreiber et HoTT

Ce travail d’Andrei Rodin: Click to access RODIN_Andrei.pdf qui date de 2014, aborde des points que nous avons commencé à traiter ici, en particulier les travaux de Lawvere sur l’axiomatisation, et ceux d’Urs Schreiber et Voevodsky en liaison avec HoTT … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Physique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), topos physics | Tagged , , , , , , | Comments Off on Identités constructives pour la physique 1: Hilbert, Lawvere, Schreiber et HoTT

(∞,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 , , | Comments Off on (∞,1)-topos cohésifs

Les travaux de William Lawvere sur les topos cohésifs 1

La page correspondante est là: https://ncatlab.org/nlab/show/cohesive+topos Les problèmes du multiple et de l’Un trouvent leur cadre idéal dans ce schéma, voir: http://mathesisuniversalis.over-blog.com/article-les-topoi-cohesifs-104391835.html Des exemples de topoi cohésifs sont donnés par la Page du Nlab, notamment la catégorie RDGRaph des graphes … Continue reading

Posted in category theory, Philosophie, Science, mathesis, Théorie des topoi (topos theory) | Tagged , , | Comments Off on Les travaux de William Lawvere sur les topos cohésifs 1

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 , , , , , , , , | Comments Off on Axiomatic cohesion in HOTT

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 , , , , , , | Comments Off on Y a t’il une bulle de #HomotopyTypeTheory ?

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: Click to access highertopoi.pdf Le dernier article … 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 , , , , , , , , , , , , , , | Comments Off on De #HigherToposTheory à #HomotopyTypeTheory