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: https://anthroposophiephilosophieetscience.wordpress.com/2017/10/16/campagne-de-denigrement-contre-olivia-caramello-de-la-communaute-des-theoriciens-des-topoi-unificationofmathematics/ «Another reason for this hostility is the fact that my ideas are ‘heretical’ with respect to the Lawverian tradition in … 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 , , ,

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 ,

#HoTT André Joyal : la notion de typos

Voir cet ancien article : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/14/andre-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 dans une catégorie C Le … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged , , , ,

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

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

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

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