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.
Morgan Rogers (he/him) (Sep 08 2020 at 12:28):I described here a class of categories that I am currently studying.
[Mod] Morgan Rogers said:
It's a class which I don't have a good name for, which I'm provisionally calling pre-regular, although that is a Bad Name since is already something by that name in the literature, and the link to regular categories is rather weak.
This seems like as good a place as any to ask if anyone has an inspired idea for a name for this class of categories, pending me finding such a name by myself :grinning_face_with_smiling_eyes:
Notification Bot (Sep 08 2020 at 12:29):This topic was moved here from #practice: applied ct > name my categories! by [Mod] Morgan Rogers
Nathanael Arkor (Sep 08 2020 at 14:21):It's possible that once you work out the internal logic, a name will present itself based on the capabilities of the logic.