範疇理論中的核

總結

• 核是一個通過 「泛性質」 定義的抽象概念，它捕捉了 「被態射映射到零」 的本質。
• 在群論等具體範疇中，它與我們熟悉的核的概念一致。
• 核雖然在形式上可以有多個，但在同構的意義下是唯一的。

關於

這裡g是D->A的映射，ητ也是D->A的映射，但這個映射藉助了中間集合K。泛性質的核心在於這個 「中間對象」 K，但更準確地說，是在於它所扮演的 **「唯一中介」** 角色。

下面用一個具體的群同態例子，把泛性質里的 「唯一中介」 直觀地畫出來。

再用同一個例子，構造一個不滿足 fg=0 的 g，來看看泛性質為什麼不適用。

這就清晰地展示了：核 K 是所有被 f 映射到零的態射的唯一必經分解點，而對於不被映射到零的態射，這個 「瓶頸」 作用就消失了。

核的泛性質要點總結：