连贯性的语法
范畴论
2007-05-23 v2 量子代数
摘要
本文在 Lawvere 函子语义学的二维推广中处理范畴连贯性。提出了 2-理论——一种描述具有结构的范畴的语法方式。从由此提供的视角来看,许多连贯性结果成为关于拟 Yoneda 引理与 2-理论态射的简单陈述。给定两个 2-理论及它们之间的一个 2-理论态射,我们探讨相应的代数 2-范畴之间诱导的关系。诱导的拟伴随的强度由 2-理论态射的强度分类。这些拟伴随反映了一个结构可被另一个结构替代的程度。定义并构造了 Kronecker 积的二维类比。该运算允许人们由旧的连贯律生成新的连贯律。
引用
@article{arxiv.math/9910006,
title = {The Syntax of Coherence},
author = {Noson S. Yanofsky},
journal= {arXiv preprint arXiv:math/9910006},
year = {2007}
}
备注
44 pages, LaTeX; XY-Pic (with 2-cells). Corrected typos and small changes