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: deprecated: pedagogy

Topic: Kan Academy

view this post on Zulip Christian Williams (Jul 19 2021 at 18:02):

I want there to be a platform just for category theory videos.

view this post on Zulip Christian Williams (Jul 19 2021 at 18:05):

Make it very easy for anyone to upload explorations/lessons/presentations on any topic.

view this post on Zulip Matteo Capucci (he/him) (Jul 20 2021 at 07:01):

Kan Academy

I see what you did there...