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 (Aug 12 2026 at 06:44):I'm looking for a postdoc and PhD student to work with me on the study of both the theory and applications of comonads. We aim to build the theory of presentations of comonads to be able to specify computational resources in a principal way. Therefore, the project is in the intersections of category theory, linear type theory, programming language semantics and potentially also finite model theory (via game comonads), theory of concurrency and so on.
One option for the PhD student (in case they want something more practical) is to build a prototype linear functional programming language which allows the programmer to specify custom resource restrictions (generalising coeffects).
For details, see https://tomas.jakl.one/projects/unicator
Tomáš Jakl (Aug 15 2026 at 07:19):Based on my previous description of the project some people assumed that this project is about Rust or implementing stuff in Rust. I've now clarified the description so that it is clear that the project's purpose is primary about building the theory of comonads. If the PhD student wishes, they can work on a prototype programming language, e.g. by extending Granule, which is written in Haskell.