Category Theory
Zulip Server
Archive

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.

Stream: community: general

Topic: Theoretical Computer Science for the Working Cat Theorist

view this post on Zulip David Michael Roberts (Jan 26 2022 at 01:39):

Noson Yanofsky's new book is freely available for the next two weeks from CUP, grab it here:

https://www.cambridge.org/core/elements/theoretical-computer-science-for-the-working-category-theorist/5F3499D1F326D2D77567AA1041627699

view this post on Zulip Fawzi Hreiki (Jan 26 2022 at 01:41):

Oh nice. I’ve been waiting for this to come out.

view this post on Zulip Mike Shulman (Jan 26 2022 at 04:57):

What a great title.

view this post on Zulip Jon Sterling (Jan 26 2022 at 16:52):

Wow, this sounds pretty cool!