Tag Archives: tribe

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

#HoTT : André Joyal weak factorisation system

Deux liens sur les deux wikis de la théorie des catégories: https://ncatlab.org/joyalscatlab/published/Weak+factorisation+systems https://ncatlab.org/nlab/show/weak+factorization+system André Joyal explique aussi la notion dans ses notes, par exemple Page 34 et 35 de : http://www.math.uwaterloo.ca/~asl2013/Slides/Joyal.pdf qui a été étudiée ici : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/14/andre-joyal-hott-tribus-et-⊓-tribus/ Page 34 … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, homotopy type theory, Philosophie mathématique, Science-internelle, Théorie des topoi (topos theory) | Tagged , ,

#HoTT : le cours d’André Joyal en cinq parties sur les tribus

Partie 1: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%201.pdf Partie 2: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%202.pdf Partie 3: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%203.pdf Partie 4: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%204.pdf Partie 5: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%205.pdf

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

A category – theoretic version of the identity type weak factorization system

https://arxiv.org/pdf/1412.0153.pdf Cet article aborde plusieurs des notions d’André Joyal, en relation avec la théorie des types, notamment celle de tribu , une sorte particulière de catégorie, je suis de plus en plus convaincu que c’est là qu’il faut chercher la … Continue reading

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

André Joyal #HoTT : tribus et ⊓-tribus

Les articles d’andré Joyal, comme ceux de Mike Shulman, apportent l’intelligibilité de la théorie des catégories à la théorie homotopique des types, et renforcent le lien entre les deux domaines: http://www.math.uwaterloo.ca/~asl2013/Slides/Joyal.pdf Le livre de Quillen « Homotopical algebra » qui date de … Continue reading

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