Zulip Chat Archive
Stream: Is there code for X?
Topic: Double categories
Patrick Nicodemus (Nov 10 2025 at 00:39):
Is anyone working on weak double categories?
Last updated: Feb 28 2026 at 14:05 UTC
Is anyone working on weak double categories?
Last updated: Feb 28 2026 at 14:05 UTC