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.
Alexis Toumi (Jun 20 2024 at 10:25):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!
keorn (Apr 08 2026 at 16:43):Hey, this is Peter from PlantingSpace. Our Applied Category Theory Research opening is back up for anyone keen to work full time remotely in the European time zones.
We're building a system that represents domain knowledge as modular probabilistic models — making analysis rigorous and transparent. Users can connect these models flexibly into larger structures. The system enforces consistency across them, and propagates uncertainty through each step. Our first applications are in finance and scientific research, with use cases ranging from equity valuation and distress monitoring, to particle physics.
We use category theory to reason about our system end-to-end: from natural language processing and knowledge representation to probabilistic programming and our user interface.
Link to apply: https://planting.space/joinus/ Also feel free to DM me any questions before you apply!
John Baez (Apr 08 2026 at 17:55):This reminds me slightly of @Owen Haaga's post on "regression via composition":