Tag Archives: Weak factorization system

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