\begin{definition}[Definition:Category of Finite Sets]
The '''category of finite sets''', denoted $\mathbf{Finset}$ or $\mathbf{Sets}_{\text{fin}}$ is the metacategory with:
{{DefineCategory
|ob  = All finite sets;
|mor = All mappings between finite sets.
}}
\end{definition}