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: HoTT Zulip Invite link?

view this post on Zulip Joshua Meyers (Mar 25 2021 at 14:59):

Can someone please give me an invite link to the HoTT Zulip?

view this post on Zulip Oscar Cunningham (Mar 25 2021 at 15:05):

Apparently you just need the URL: hott.zulipchat.com