Timeline for What is the definition of a heapoid?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 1 at 21:55 | comment | added | Toby Bartels | By the way, not only is every groupoid a heapoid, but another sign that this works is that every object in a heapoid has an endmorphism heap. And another sign is that every heapoid has a structure groupoid, although this one is trickier. (A groupoid morphism from $ x $ to $ y $ should be a pair of morphisms $ f \colon x \to z $ and $ g \colon y \to z $, but two such morphisms should be equal if mediated by an isomorphism $ z \sim z ' $; yet such isomorphisms are what we are trying to define!) | |
| Jul 1 at 21:49 | comment | added | Toby Bartels | This look quite reasonable. But it wasn't me who added it to the nLab; that was Zoran Škoda in revision 2. What I did in revision 3 was to fix a related spelling typo. | |
| Aug 21, 2022 at 6:19 | comment | added | Mozibur Ullah | Thanks. I can now add that to my collection of oids! | |
| Aug 21, 2022 at 6:19 | vote | accept | Mozibur Ullah | ||
| Aug 21, 2022 at 6:12 | history | answered | Mike Shulman | CC BY-SA 4.0 |