« Groupoid Cardinality

Definition. Groupoid [007M]

A groupoid is a category in which every morphism is an isomorphism.

Backlinks

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 .