九引理

A类图引理亦称为引理。根据最一般的声明交换图如上图所示精确的行和列可以由两个态射完成

在不失去可交换性的情况下。

是准确的。

如果第一行和第三行的角色互换，则该引理也成立。

另请参见

更多需要尝试的事情：

B.米切尔。范畴理论。纽约：学术出版社，第20-21页，1965年。雨衣南莱恩。同源性。柏林：Springer-Verlag，第49-50页，1967年。