You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Alex Kreitzberg (Sep 13 2025 at 15:18):[[Heap]] is new terminology for me! I'm pretty sure the free category monad answers my question, thank you.
Notification Bot (Sep 13 2025 at 15:18):Alex Kreitzberg has marked this topic as resolved.
John Baez (Sep 13 2025 at 16:54):I added heaps of stuff to that article [[heap]].
John Baez (Sep 13 2025 at 16:56):Heaps are interesting because a heap is like a torsor with enough extra data that it specifies the group its a torsor of.