范畴论中关于图追踪和图示证明的一些注记
摘要：利用图追踪是范畴论和同调代数中常用的证明方法。它通过基于元素的方法展示了对于一个可交换的图表而言某些性质是成立的。当第一次处理Abel范畴时，人们通常会使用图形的方式，而不依赖于元素的概念。然而，不断地操纵各种图表的通用性质可能会很繁琐。尽管如此，我们认为将这两种观点进行对比仍然很重要，以激发发展范畴论的领域。本文重点关注短五引理，这是更基础的图表引理之一，并简要展示相关主题。此外，我们给出了使用下拉的通用性质对短五引理进行的原始证明。
作者：Valentino Vito
论文ID：2010.12534
分类：Category Theory
分类简称：math.CT
提交时间：2020-10-29