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.
Tarmo Uustalu (Jan 25 2024 at 22:21):I am delighted to announce that the Tallinn U of Technology Senate has on 23 Jan 2024 decided to bestow on the University of Calgary professor J. Robin B. Cockett the title of Doctor Honoris Causa of the university. This is for his contributions to advancing the study of mathematical foundations of algorithmics and programming in Tallinn.
Jean-Baptiste Vienney (Jan 25 2024 at 22:42):Robin is a genius ahah
Cole Comfort (Jan 26 2024 at 13:38):Well-deserved. Robin is definitely my biggest influence: his knowledge and research interests are deep and varied.