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

Category of finite sets

Category of finite sets