Skip to main content
4 events
when toggle format what by license comment
Jul 29, 2020 at 2:13 comment added Ben MacAdam Of course, so if you preserve products then you get the pair groupoid, whereas if you only preserve the necessary pullbacks your models are groupoids.
Jul 29, 2020 at 0:42 history edited Simon Henry CC BY-SA 4.0
added 14 characters in body
Jul 29, 2020 at 0:00 vote accept Ben MacAdam
Jul 28, 2020 at 23:40 history answered Simon Henry CC BY-SA 4.0