TheMatrix 写了： 2023年 1月 18日 13:40
commutative diagram是很有用。比如equivariant - 一个群，在两个线性空间中都有表示，这两个线性空间之间的线性变换，在这种环境下，需要与群表示合拍。表达出来，就是某个diagram commute。

代数结构变复杂，参与进来的东西多了，互相之间都得合拍。所以commutative diagram就有用了。有点像量纲分析 - 感觉什么都没做呢，就已经干了不少事情。