Zulip Chat Archive
Stream: Displayed Categories
Topic: channel events
Notification Bot (Apr 29 2025 at 19:14):
Public channel created by Johan Commelin. Description:
Fibrations of categories via displayed categories
Last updated: Dec 20 2025 at 21:32 UTC