Joyal's CatLab
Groupoids

Revised on March 28, 2010 at 21:12:58 by joyal