Small category Category of natural numbers The category of natural numbers π is a Small category such that Obβ‘π =β0. It is constructed as a skeleton category for Category of finite sets where for each π ββ0 we take a representative βπ ={π}ππ=1. This gives a kind of categorification of the Rig β0, since the categorical product and coproduct correspond to multiplcication and addition respectively. develop | en | SemBr