高维 enrich 结构
范畴论
2007-05-23 v2 代数拓扑
量子代数
摘要
Lyubashenko 已将 enriched 2-范畴描述为在 V-Cat(在对称幺半 V 上 enriched 的范畴的 2-范畴)上 enriched 的范畴。我将其推广到 k-重幺半 V。对称情形可轻易恢复。本文引言提出 V-n-范畴及其态射的递归定义。随后我考虑 V-2-范畴的特殊情形,并给出其连同态射构成 3-范畴结构的证明细节。
引用
@article{arxiv.math/0306086,
title = {Higher Dimensional Enrichment},
author = {Stefan Forcey},
journal= {arXiv preprint arXiv:math/0306086},
year = {2007}
}
备注
50 pages; complete definition of V-n-categories and morphisms between them; journal style and notation--note tensor^(1) replaces box^(2); updated references