[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]