Glsli

同调代数中需要处理很多正合列与交换图交互的复杂映射图，这些定理的证明使用了图表追踪的方法。这种方法虽然说一直被提及，但是，并没有找到很好的说明性的文章。 在尝试着跟随一些证明...