nLab
groupoid object (history)

January 13, 2012

• Current (diff)
  by Mike Shulman at January 13, 2012 21:13:11 from 71.136.235.72
• Revision 1
  by Stephan Alexander Spahn at January 13, 2012 16:28:57 from 85.4.216.170