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

#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 : Click to access Joyal.pdf qui a été étudiée ici : … 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: Click to access download Partie 2: Click to access download Partie 3: Click to access download Partie 4: Click to access download Partie 5: Click to access download

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

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

Click to access 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 … 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: Click to access Joyal.pdf Le livre de Quillen « Homotopical algebra » … Continue reading

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