En me limitant aux (infini,1)-catégories, j’illustrerai pourquoi on a besoin des catégories supérieures. La réponse que je développerai est que certains axiomes formulables en théorie des catégories n’ont aucun modèles non-triviaux dans les catégories ordinaires mais pas dans les catégories supérieures. L’une de ces propriétés est « l’effectivité des colimites » (forme améliorée de la propriété d’univalence) qui est à la base des infini-topos. Un autre exemple est la propriété de « stabilité » qui simplifie drastiquement la compréhension et la manipulation de l’algèbre homologique.