Set theory MOC Category of finite sets The category of finite sets π₯π²πΎπ is the full subcategory of \Set where objects are restricted to finite sets. set Skeleton The canonical skeleton category is Category of natural numbers. develop | en | SemBr