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.
Notification Bot (Mar 26 2020 at 16:12):Stream created by Alex Kavvos.
Alex Kavvos (Mar 26 2020 at 16:15):Hello. I thought it'd be good if we had a type theory stream. Please populate it with more specific topics!
Notification Bot (Apr 06 2020 at 05:32):Christian Williams renamed stream type theory to theory: type theory.
Notification Bot (Oct 20 2023 at 15:17):Nathanael Arkor changed the access permissions for this stream from Public to Web-public.
Morgan Rogers (he/him) (Oct 31 2023 at 11:10):@Matteo Capucci (he/him) huh?
Notification Bot (Oct 31 2023 at 11:22):Matteo Capucci (he/him) changed the description for this stream.
Connections between type theory and category theory, including homotopy type theory
Deprecated, use #theory: mathematics instead. Connections between type theory and category theory, including homotopy type theory
Notification Bot (Oct 31 2023 at 11:22):Matteo Capucci (he/him) renamed stream theory: type theory to deprecated: type theory.
Notification Bot (Nov 02 2023 at 11:31):Matteo Capucci (he/him) changed the description for this stream.
Deprecated, use #theory: mathematics instead. Connections between type theory and category theory, including homotopy type theory
Connections between type theory and category theory, including homotopy type theory
Notification Bot (Nov 02 2023 at 11:31):Matteo Capucci (he/him) renamed stream deprecated: type theory to theory: types.
Notification Bot (Nov 02 2023 at 11:31):Matteo Capucci (he/him) changed the posting permissions for this stream:
Notification Bot (Nov 02 2023 at 11:38):Matteo Capucci (he/him) changed the description for this stream.
Connections between type theory and category theory, including homotopy type theory
Connections between type theory and category theory, including homotopy type theory.
Notification Bot (Nov 02 2023 at 11:38):Matteo Capucci (he/him) renamed stream theory: types to theory: type theory.
John Baez (Nov 02 2023 at 11:41):It looks like you are having lots of fun here, @Matteo Capucci (he/him). :upside_down:
Matteo Capucci (he/him) (Nov 02 2023 at 11:42):lol