Category of natural numbers

The category of natural numbers $𝖭$ is a Small category such that $O b 𝖭 = ℕ 0$ . It is constructed as a skeleton category for $𝖥 𝖲 𝖾 𝗍$ where for each $𝑛 \in ℕ 0$ we take a representative $ℕ 𝑛 = {𝑖} 𝑛 𝑖 = 1$ . This gives a kind of categorification of the Rig $ℕ 0$ , since the categorical product and coproduct correspond to multiplication and addition respectively.

#state/develop | #lang/en | #SemBr