fc-多范畴
范畴论
2007-05-23 v1
摘要
fc-多范畴是一类非常一般的二维结构，囊括了双范畴、幺半范畴、双范畴（double categories）与通常的多范畴。我们定义它们，并解释其如何为两个熟知的范畴论观念提供自然框架。其一是双模构造，传统上在适当余完备的双范畴上进行，但或许更自然地在 fc-多范畴上进行。其二是 enrichment（ enrichment）：存在范畴在 fc-多范畴中 enrich 的理论，推广了通常在幺半范畴中 enrich 的理论。我们最后指出，此工作仅是一个更大现象的最简情形。
引用
@article{arxiv.math/9903004,
title = {fc-multicategories},
author = {Tom Leinster},
journal= {arXiv preprint arXiv:math/9903004},
year = {2007}
}
备注
Notes for talk at PSSL 70; 8 pages