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.
Tomáš Jakl (Apr 26 2021 at 09:26):Hi All,
We're organising a little workshop (affiliated with LICS 2021) with the purpose of bridging the division between the semantically oriented ("Structure") and algorithmically oriented ("Power") branches of theoretical computer science.
Dates: 27-28 June 2021
Workshop website: https://www.cst.cam.ac.uk/conference/structure-meets-power-2021
The workshop stems from the joint project of Samson Abramsky and Anuj Dawar (called "Resources and co-Resources") where we use comonads and other tools from category theory in finite model theory.
Anyone interested in the broader topic of the workshop is welcome to participate/attend!