Towards an axiomatization of the theory of higher categories

B. Toen

We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.