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


  • Category theory

    How mathematical objects are related to others in the same category.

  • Finite set

    A finite set is one which is not infinite. Some of these are the least complicated sets.