Example 4.2.7. A set $C$ gives rise to a groupoid $\mathcal{C}$ defined as follows: As objects we take $\mathop{\mathrm{Ob}}\nolimits (\mathcal{C}) := C$ and for morphisms we take $\mathop{\mathrm{Mor}}\nolimits (x, y)$ empty if $x\neq y$ and equal to $\{ \text{id}_ x\}$ if $x = y$.

There are also:

• 2 comment(s) on Section 4.2: Definitions

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).