迈向高阶范畴理论的公理化
范畴论
2007-05-23 v2
摘要
我们定义“(1,∞)-范畴理论”的概念，并证明这样的理论在同等价意义下是唯一的。
关键词
引用
@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}
}
备注
25 pages, french. A gap in the proof of the main theorem is fixed (lemma 5.10). To appear in K-theory