协调性在子结构范畴中
摘要:MacLane的一致性定理在单调和对称的单调范畴中得到了证明,并且可以扩展到其他具有乘法的范畴,即相关的,仿射的和笛卡尔的范畴。所有的结果都以配备有“图形”(g-自然变换)的自然变换来表述,并且相应的态射定理是作为结果给出的。利用这些结果,得到了这些类别的自由范畴之间的一些基本关系。
作者:Z. Petric (University of Belgrade)
论文ID:math/0006061
分类:Category Theory
分类简称:math.CT
提交时间:2007-05-23