Category of finite sets
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.
give example objects and arrows
it has all finite limits and colimits
mention that it is a full subcategory of Set