Small category Category of natural numbers The category of natural numbers is a Small category such that . It is constructed as a skeleton category for Category of finite sets 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. develop | en | sembr