Tag Archives: William Lawvere

Une note de Laurent Lafforgue sur la discrimination subie par Olivia Caramello dans le « milieu mathématique »

  Click to access NoriMotivesInformation.pdf Déjà Olivia Caramello s’était plainte d’une véritable campagne de dénigrement menée contre ses travaux: Campagne de « dénigrement » contre Olivia Caramello de la communauté des théoriciens des Topoi #UnificationOfMathematics «Another reason for this hostility is the … Continue reading

Posted in category theory, Cochet-Brunschvicg, Grothendieck, homotopy type theory, Léon Brunschvicg, Logique, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Simone Weil, Spinoza, Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , | Comments Off on Une note de Laurent Lafforgue sur la discrimination subie par Olivia Caramello dans le « milieu mathématique »

William Lawvere: equality in hyperdoctrines and compréhension schema as an adjoint functor

Click to access LawvereComprehension.pdf Cité par André Joyal comme source importante dans « categorical homotopy type theory »:(Page 3 sur 81) Click to access Joyal.pdf

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Science, mathesis, Science-internelle, Théorie des topoi (topos theory) | Tagged , | Comments Off on William Lawvere: equality in hyperdoctrines and compréhension schema as an adjoint functor

#HoTT André Joyal : la notion de typos

Voir cet ancien article : André Joyal #HoTT : tribus et ⊓-tribus et la note de Joyal : Click to access Joyal.pdf Page 15 sur 52 définition du «  push forward functor » associé à une flèche f : A → B … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged , , , , | Comments Off on #HoTT André Joyal : la notion de typos

Ensembles (sets) et #HoTT

Emily Riehl écrit sur Twitter que la conclusion de ce texte article de Mike Shulman « will blow your mind »: « homotopy type theory : The Logic of space «  Click to access 1703.03007.pdf La théorie des « espaces synthétiques » est expliquée sommairement … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory, Théorie des ensembles (set theory) | Tagged , , , , , | Comments Off on Ensembles (sets) et #HoTT

Andrei Rodin : Logic and geometry in topos theory and #HoTT 1

Ce travail d’Andrei Rodin: Click to access am2.pdf fait suite, ou accompagne, cet autre que nous avons étudié ici: Click to access RODIN_Andrei.pdf Le domaine de prédilection de ce philosophe est la méthode axiomatique: https://arxiv.org/abs/1210.1478 Page 3: La “received axiomatic … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Homotopy, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , , , , | Comments Off on Andrei Rodin : Logic and geometry in topos theory and #HoTT 1

#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

Andrei Rodin 3 : Constructive identifies for physics

Click to access RODIN_Andrei.pdf Les conceptions de l’axiomatisation de Hilbert et Lawvere (hégélienne pour ce dernier ) doivent être remplacées par HoTT-UF qui s’origine de MLTT (Martin Lof constructive type theory). UF (Voevodsky) remplace l’option d’une théorie non axiomatique métamathématique … Continue reading

Posted in Grothendieck, homotopy type theory, Philosophie, Philosophie mathématique, Physique, Science, mathesis, Science-internelle | Tagged , , , , , | Comments Off on Andrei Rodin 3 : Constructive identifies for physics

De Hilbert à Lawvere, Schreiber et HoTT 2 : 1-topos et ∞-topos

Suite du dernier article, commentaires du travail d’Andrei Rodin : Click to access RODIN_Andrei.pdf Affirmation page 15 sur 75 : La conception qu’ont Hilbert et Lawvere De l’axiomatisation est significativement différente de ce qu’Andrei Rodin appelle “point de vue épistémologique”, … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Science-internelle | Tagged , , , , , , | Comments Off on De Hilbert à Lawvere, Schreiber et HoTT 2 : 1-topos et ∞-topos

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