Category: FinSet

FinSet is the category whose objects are finite sets and arrows are finite maps.

Facts Derived from Enrichment

FinSet is a closed category (enriched in itself).

Notable Subcategories


Has all finite limits


Has an initial object

categories: FinSet

This data as json

name objects_hr arrows_hr
FinSet finite sets finite maps

Links from other tables