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.
Ryan Schwiebert (Nov 16 2025 at 13:22):In doing some background research I've run across this eclipse page for Papyrus and subsequently RobMoSys, which seemed to have several keywords that were suggestive.
The video survey on the first page seems to convince me someone there is aware of applications of category theory, or if not, is doing a bang-up job of reinventing them. It demonstrates what appears to be a diagrammatic development environment, "composability," and methods of static analysis on the diagram to find faults, and simulation capabilities that I would have guessed would arise out of ideas I think I've seen in applied category theory material.
I would like to know if anyone in the community here has heard of or worked with these systems, or worked ON these systems, to find out their opinion of their usefulness.
Ryan Schwiebert (Nov 17 2025 at 21:25):After seeing this demo video, I was reminded of several things I'd seen in Topos talks.