nForum - Discussion Feed (locally regular categories)2024-03-28T19:38:48+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Mike Shulman comments on "locally regular categories" (29824)https://nforum.ncatlab.org/discussion/3635/?Focus=29824#Comment_298242012-03-04T08:41:51+00:002024-03-28T19:38:48+00:00Mike Shulmanhttps://nforum.ncatlab.org/account/3/
I created locally regular category and added a corresponding section to allegory.
Edit: removed some complaints that were due to it being too late at night and my brain not working correctly.