非严格幺半范畴的线图
摘要：非严格幺半范畴的标记图形形式主义相对较少研究，而严格幺半范畴的标记图形则被很好理解，已在计算机科学的几个领域中得到应用。本文提供了非严格幺半范畴标记图形的生成器和关系的表示，并展示了该构造如何应用于数字电路和编程语言等领域。我们证明了构造的正确性，从而得到了Mac Lane的严格性定理的新证明。这反过来导致Mac Lane的连贯性定理的图形证明以及允许在幺半范畴中归纳构造规范同构的原始。
作者：Paul Wilson, Dan Ghica, Fabio Zanasi
论文ID：2201.11738
分类：Category Theory
分类简称：math.CT
提交时间：2022-02-01