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.
Hypatia du Bois-Marie (Jan 26 2024 at 01:38):
Hypatia du Bois-Marie (Jan 26 2024 at 01:48):
although i'm quite fascinated: perhaps by a topological semantics of persons' behaviour?
Jean-Baptiste Vienney (Jan 26 2024 at 01:53):It looks interesting! modulo the fact that I don't think Grothendieck knew anything about intuitionistic logic. It is Lawvere who introduced elementary toposes which generalize Grothendieck toposes and make clear the connection with intuitionistic (and not "intuitionist" :() logic...
Jean-Baptiste Vienney (Jan 26 2024 at 01:56):I think I read something about this on the Internet but I don't remember where.
Morgan Rogers (he/him) (Jan 26 2024 at 09:14):Nothing like an involuntary shiver of scepticism to wake you up in the morning. I know that I will end up reading this...