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.