Hi Tomas Have you seen presentations of comonads over polynomial funcotrs as directed containers which also gives you, simultaneously, presentations of categories. All the best Neil On Wed, Aug 12, 2026 at 8:18 AM Tomáš Jakl via Categories < categories-list@categories.org.au> wrote:
Dear All,
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.
For details, see https://tomas.jakl.one/projects/unicator
Feel free to pass my announcement to potential candidates, should you know any.
Thank you, Tomas _______________________________________________ Categories mailing list -- categories-list@categories.org.au To unsubscribe send an email to categories-list-leave@categories.org.au
-- Professor Neil Ghani Chief Scientific Officer Kodamai Ltd neil@kodamai.com <marie-claire@kodamai.com> Tel: +44 7811443280 www.kodamai.com Linkedin <https://www.linkedin.com/in/professor-neil-ghani-7a4999352/> *Disclaimer:* This email and any attachments are intended solely for the use of the individual or entity to whom they are addressed and may contain confidential or privileged information. If you are not the intended recipient, any disclosure, copying, distribution, or use of the information contained herein is strictly prohibited. If you have received this email in error, please notify the sender immediately and delete it from your system.