Tag Archives: Voevodsky

#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 : http://www.math.uwaterloo.ca/~asl2013/Slides/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 foncteur est noté … Continue reading

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

André Joyal : #HoTT and category theory

Voici donc ce lien : http://logica.dmi.unisa.it/tacl/wp-content/uploads/2014/08/Joyal-TACL2015.pdf Récapitulons ce que nous avons déjà appris de Joyal sur les liens entre théorie des catégories et théorie homotopique des types: Un type est un jugement, possibilité fondamentale de l’humain selon l’idéalisme contemporain qui … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory, Philosophie | 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 «  https://arxiv.org/pdf/1703.03007.pdf La théorie des « espaces synthétiques » est expliquée sommairement au début, il … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory, Théorie des ensembles (set theory) | Tagged , , , , ,

Andrei Rodin 3 : Constructive identifies for physics

http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/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 par une théorie … Continue reading

Posted in Grothendieck, homotopy type theory, Philosophie, Philosophie mathématique, Physique, Science, mathesis, Science-internelle | Tagged , , , , ,

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

Suite du dernier article, commentaires du travail d’Andrei Rodin : http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/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”, et réaliser cette … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Science-internelle | 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 , , , , , ,