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 (Dec 06 2020 at 23:32):We are happy to announce a new request for proposals, available here: http://sql.ai. We've developed a web service that performs static verification of SQL queries by translation into category theory, and are requesting proposals for delivering that capability into various SQL-based software stacks.
Antonin Delpeuch (Dec 07 2020 at 06:56):Interesting! It is not clear to me what sort of issues this static analysis is designed to catch, would you have concrete examples to share? Also, there is a typo on the main page: "algorithims".