[summary: The category of finite sets is a nice easy category to work in. Its objects are the finite sets, and its arrows are the functions between the finite sets.This makes it a very concrete and understandable category to present some of the basic ideas of category theory.]

[comment: This page is more of a definition page; it's not really intended to explain anything, because all the necessary explanations should already have been done in finite_set.]

The category of finite sets is a nice easy category to work in. Its objects are the finite sets, and its arrows are the functions between the finite sets.This makes it a very concrete and understandable category to present some of the basic ideas of category theory.

[todo: give example objects and arrows]

[todo: it has all finite limits and colimits]

[todo: mention that it is a full subcategory of Set]