TY  - RPRT
TI  - Towards an axiomatization of the theory of higher categories
AU  - B. Toen
PY  - 2005
UR  - https://arxiv.org/abs/math/0409598
ID  - math/0409598
ER  -