Towards an axiomatization of the theory of higher categories
Résumé
We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.
We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.
Connectez-vous pour contacter le contributeur
https://hal.science/hal-00022951
Soumis le : dimanche 16 avril 2006-17:25:47
Dernière modification le : lundi 23 mars 2026-12:03:55