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 Advertisements

Posted in homotopy type theory | Tagged

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 ,

#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 , , , ,

#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 : https://ncatlab.org/davidcorfield/files/Bristol.pdf Sur David Corfield … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, homotopy type theory, Philosophie, Philosophie mathématique, Physique | Tagged , , ,

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

Ce travail d’Andrei Rodin: http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/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 (univalent foundations) Un … 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 , , , , , ,

(∞,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 , ,

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 , ,