The post by John Baez in the $n$-Category Café gives a nice example of how the the Matthieu Group $M_{12}$ can be presented more simply using a groupoid called $M_{13}$.
Paul Taylor
- 8.5k
- 1
- 29
- 58