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.
Evan Patterson (Oct 03 2024 at 18:55):I'm pleased to annouce a new open source software project that we're developing at Topos Institute: CatColab. The tool is under heavy development but you can play with a demo at the link above.
Evan Patterson (Oct 03 2024 at 18:55):In one sentence, the aim is to make modeling in category-theoretic domain-specific languages accessible to people who do not necessarily have any training in category theory or mathematics generally. For more, @Kevin Carlson has written a nice blog post explaining the project and where we hope to go with it: Introducing CatColab
Georgios Bakirtzis (Oct 04 2024 at 08:45):Great work! I can't wait to play with it when I find some time