Towards an axiomatization of the theory of higher categories
arXiv:math/0409598
Abstract
We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.
25 pages, french. A gap in the proof of the main theorem is fixed (lemma 5.10). To appear in K-theory