关于将加法群(ℤ, +)视为单对象范畴的新手疑问

完全理解这种迫切想搞懂的心情！范畴论刚开始接触时，确实容易被抽象定义绕晕，咱们一步步来拆解你的问题～

一、单对象范畴何时对应群？ #

你说得没错，一个只有单个对象A的范畴C，所有态射都是A→A的自态射，这个结构本身不一定是群——它首先是一个幺半群（monoid）：

• 态射的复合对应幺半群的二元运算，满足结合律（范畴的基本要求）；
• 恒等态射id_A对应幺半群的单位元。

而要让它成为群，还需要额外满足一个关键条件：每个态射都是同构（即每个自态射f:A→A，都存在另一个自态射g:A→A，使得f∘g = id_A 且 g∘f = id_A）。这正好对应群的定义：每个元素都有逆元，加上幺半群的结合律和单位元，就构成了群。

简单说：单对象范畴 + 所有态射都是同构 = 群（范畴化的群）。

二、如何把加法群(ℤ, +)视为单对象范畴？ #

咱们直接按范畴的定义来构造，非常直观：

• 单个对象：随便选一个符号就行，比如叫*（名字不重要，核心是它是唯一的对象）；
• 态射集合：把每个整数n∈ℤ对应到一个自态射fₙ: * → *。换句话说，态射集合就是ℤ本身，每个整数都是从*到*的箭头；
• 态射复合：对于两个态射fₘ和fₙ，它们的复合定义为fₘ ∘ fₙ = fₘ₊ₙ——这正好对应整数的加法运算；
• 恒等态射：就是f₀，因为0是加法的单位元，满足f₀ ∘ fₙ = f₀₊ₙ = fₙ，且fₙ ∘ f₀ = fₙ₊₀ = fₙ；
• 逆态射：对于任意态射fₙ，它的逆元就是f₋ₙ，因为n + (-n) = 0，对应复合fₙ ∘ f₋ₙ = f₀ = id_*，满足同构的要求。

这样构造出来的范畴完全符合范畴的所有公理：复合满足结合律（加法结合律保证），单位元存在，每个态射都是同构，完美对应加法群(ℤ, +)。

内容的提问来源于stack exchange，提问作者Zazaeil