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.
PlantingSpace is a startup that develops an explainable AI system for data analysts, we opened an R&D position in applied category theory: https://planting.space/joinus
The development is mostly in Julia but we value experience in strongly typed programming languages. If you wanna have a chat you can drop me an MP or come and meet us at the industry session of the ACT conference in Oxford this afternoon!