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 (Jan 28 2025 at 06:05):Conexus is looking for teammates, especially in the UK, to continue a line of research applying pro-functors to safe AI by using them as the semantics of SQL queries in a project that verifies LLM-generated SQL code: see https://arxiv.org/abs/2404.01406 (published in ACT 2024) and http://sql.ai . The original authors (Josh, Gabriel, Emilio) are still leading the project but we're looking to potentially expand the team. Please contact me here or at ryan@conexus.com, thanks!