摘要：在2维普适代数中，弱态射的极限行为不是2-范畴性的，为了充分表达出发生的行为，需要能够对较弱类型的严格态射进行量化。F-范畴被引入来表达严格和弱态射之间的相互作用。我们将教义伴随定义为F-范畴的提升性质，并利用这一性质给出了使用F-范畴语言表示的单调性定理，涵盖了每一种较弱类型的态射。
作者：John Bourke
论文ID：1212.5123
分类：Category Theory
分类简称：math.CT
提交时间：2022-01-31
PDF 下载： 英文版 中文版pdf翻译中