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 23 2020 at 18:11):Stream created by Matt Cuffaro.
Christian Williams (Mar 26 2020 at 18:25):Hey, would you want to rename this stream to just "philosophy", "math philosophy" or "categorical philosophy", etc?
Fabrizio Genovese (Mar 26 2020 at 18:40):Yes, toposophy really is an ugly name!
Matt Cuffaro (he/him) (Mar 26 2020 at 19:06):haha it was a reference to a phrase I read in Moerdijk. Categorical Philosophy would be fine pending another suggestion
Fabrizio Genovese (Mar 26 2020 at 19:09):Considering that the whole zulip thing is about CT, I think Philosophy would suffice, as @Christian Williams suggests
Notification Bot (Mar 26 2020 at 20:00):Christian Williams renamed stream toposophy to philosophy.
Notification Bot (Oct 20 2023 at 15:16):Nathanael Arkor changed the access permissions for this stream from Public to Web-public.
Notification Bot (Oct 31 2023 at 11:10):Matteo Capucci (he/him) changed the description for this stream.
philosophy and category theory | stream named borrowed from Moerdijk.
Deprecated, use #theory: science instead. Philosophy and category theory | stream named borrowed from Moerdijk.
Notification Bot (Oct 31 2023 at 11:10):Matteo Capucci (he/him) renamed stream philosophy to deprecated: philosophy.
Notification Bot (Nov 02 2023 at 11:32):Matteo Capucci (he/him) changed the description for this stream.
Deprecated, use #theory: science instead. Philosophy and category theory | stream named borrowed from Moerdijk.
Philosophy and category theory.
Notification Bot (Nov 02 2023 at 11:32):Matteo Capucci (he/him) renamed stream deprecated: philosophy to theory: philosophy.