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 Wisnesky (Oct 28 2022 at 00:21):Hi everyone, Conexus is trying to gauge interest in a research program to connect probabilistic programming languages such as https://www.gen.dev to compositional ways to model dynamical systems, such as https://math.ucr.edu/home/baez/stock-flow/ - we have some funding available for e.g. students to work part time but if there is a lot of interest - and we hope there is - we'll find more! Interested folks can write to me here or at ryan@conexus.com