The <a href="http://golem.ph.utexas.edu/category/2013/02/m13.html">post by John Baez
in the <i>$n$-Category Caf&eacute;</i></a>
gives a nice example of how the the Matthieu Group $M_{12}$
can be presented more simply using a groupoid called $M_{13}$.