Category Theory
Zulip Server
Archive

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.


Stream: community: general

Topic: Process.io stream


view this post on Zulip Jelle Herold (Dec 08 2020 at 10:28):

Hi all! It was suggested I announce the #process-io stream here. It is a channel I created where users of the (currently still private) beta can ask questions. Feel free to lurk, I'll post occasional updates and we should be opening invites at some point. The https://process.io platform builds on top of https://statebox.org probably familiar to most of you. In short, it will allow you to write software that is structured diagrammatically, using petri nets, monoidal categories and a whole bunch of more stuff.