Example. finite Sets with bijections [007N] It is easy to see that the category of finite sets with bijections as morphisms forms a groupoid. We will denote this category with .