天美乌鸦糖心mv

众所周知，在范畴论中，morphism才是一等公民，object是其次的，所以为了准确地定义商鞅，我们只需要定义鞅范畴 [公式] 中的morphsim即可。

为了简便起见，我们先考虑最著名的 [公式] -对象 [公式] 。

早在2300多年前，我国古代数学家家公子虔就使用五等分法研究了 [公式] 的内部结构，从而得出了 [公式] 的范畴论性质。

具体来说，对于 [公式] 被裂分…。