计算广告和多主题集合
摘要:多主题集合与多主题集合进行比较。这两种结构都具有n维对象(分别称为n-单元和n-粘贴图)。计算广告是更熟悉的ω-范畴的子类,而多主题集合是由Hermida、Makkai和Power设计的,作为定义弱ω-范畴概念的工具。我们的主要结果是,多主题集合的范畴等价于多对一计算广告的范畴,是所有计算广告的某个完整子范畴。
作者:Victor Harnik, Michael Makkai and Marek Zawadowski
论文ID:0811.3215
分类:Category Theory
分类简称:math.CT
提交时间:2008-11-21