协调性在子结构范畴中

摘要:MacLane的一致性定理在单调和对称的单调范畴中得到了证明,并且可以扩展到其他具有乘法的范畴,即相关的,仿射的和笛卡尔的范畴。所有的结果都以配备有“图形”(g-自然变换)的自然变换来表述,并且相应的态射定理是作为结果给出的。利用这些结果,得到了这些类别的自由范畴之间的一些基本关系。

作者:Z. Petric (University of Belgrade)

论文ID:math/0006061

分类:Category Theory

分类简称:math.CT

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中