Towards an axiomatization of the theory of higher categories
Category Theory
2007-05-23 v2
Abstract
We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.
Cite
@article{arxiv.math/0409598,
title = {Towards an axiomatization of the theory of higher categories},
author = {B. Toen},
journal= {arXiv preprint arXiv:math/0409598},
year = {2007}
}
Comments
25 pages, french. A gap in the proof of the main theorem is fixed (lemma 5.10). To appear in K-theory