图式范畴论
摘要：范畴论中，使用带有线条图的方法在直观理解特定概念方面很常见，尤其是在处理伴随和蒙德尔范畴时。我们展示了线条图在探讨范畴论中基本概念的基本属性方面也很有用，例如普遍性质、(余)极限、Kan扩展和(余)终点。例如，利用线条图来直观地证明Yoneda引理、伴随条件的必要和充分条件、右伴随保留极限以及具有逐点Kan扩展的必要和充分条件。我们还引入了一种使用图示表示直观计算(余)终点的方法，并利用它证明了一些(余)终点和加权(余)极限的性质。本文提出，使用线条图是范畴论初学者以一种直观和易理解的方式学习该学科基础的有效方法。
作者：Kenji Nakahira
论文ID：2307.08891
分类：Category Theory
分类简称：math.CT
提交时间：2023-07-21