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.
Fabrizio Genovese (Jul 28 2022 at 11:23):Me and Philipp Zahn are going to have a 2-3 hours long workshop about compositionality at DEVCON VI, the biggest Ethereum developer convention, in Bogotà, Colombia, October 11-14.
We will basically preach about applied category theory to crypto developers. The conference is huge, usually well above ten thousand participants. Let's hope they like category theory!
Title: Compositionality: The 10x engineer secret sauce
Abstract: Proponents of blockchains argue that compositionality is a key feature. What is compositionality though? Maybe surprisingly, there is a rich mathematical framework in which the concept can be made precise as a theory of systems. In this workshop, we provide a primer of that theory and we showcase two practical applications based on it: compositionality in game theory (open games) and in formal verification (automata). The workshop is aimed at devs. There are no mathematical prerequisites.
Matteo Capucci (he/him) (Jul 28 2022 at 13:43):Amazing! Congrats :tada:
Fabrizio Genovese (Jul 28 2022 at 14:37):I'll let everyone know if workshop are streamed. Talks will be for sure.