Events and news relevant to the Laboratory for Foundations of Computer Science

[Chris Heunen <Chris.Heunen@ed.ac.uk>]

Dear all,

We will be running an intermediate category theory reading group this
semester! For the first part of this reading group, we will cover
Chapters 5, monads; and 6, Kan extensions; of Emily Riehl's book
*Category Theory in Context*. Monads are mathematical objects which can
describe algebraic theories, computational effects, and various other
mathematical phenomena. Kan extensions give a powerful approach for
generalising many category theoretic constructions - the saying goes
that 'everything is Kan extensions'! Then, we will switch to a more
free-form approach: this might include presentations by participants on
topics, papers, or general ideas of interest. I expect that topoi or
enriched categories (likely including enriched categories) may make an
appearance.

We will meet once a week for two hours, for at least 10 weeks. Meetings
will be in Bayes and also hybrid online. For more information, please
use the following link to join the group Zulip chat: this is how
meeting links etc. will be distributed.
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Freadingcats2024.zulipchat.com%2Fjoin%2Fvus4vy35iouelhbhxnfeldpn%2F&data=05%7C02%7C%7Cdc27e29352f0463aa9fc08ddf60899f0%7C2e9f06b016694589878910a06934dc61%7C0%7C0%7C638937238998940272%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=SJrtX2WKeQZdpXkwPu9jnl8KB5Fvd2DFbpy5Dcl22dE%3D&reserved=0

Please do email me at <maia.woolf@ed.ac.uk> if you have any questions!

Best wishes,
Maia

--
Maia Woolf (she/her) <maia.woolf@ed.ac.uk>
PhD student and tutor
School of Mathematics, University of Edinburgh