Category of natural numbers

The category of natural numbers is a Small category such that . It is constructed as a skeleton category for where for each we take a representative . This gives a kind of categorification of the Rig , since the categorical product and coproduct correspond to multiplcication and addition respectively.

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