freyd

翻过任意教材的人可能都知道大部分地方证明用到了一种叫做 diagram chasing（图追踪）的方法。这使得我们对任意的阿贝尔范畴证明蛇引理就像在 $R$-模范畴（比如 $R=\Z$ 时，阿贝尔群范畴）中证明一样简单。 然而对于任意的阿贝尔范畴，我们是不能这样做的