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 31 2020 at 17:20):Stream created by Joe Moeller.
Jonathan Beardsley (Apr 01 2020 at 00:43):I'm a big fan of SHEAVES
John Baez (Apr 01 2020 at 01:00):What do you, personally, do with sheaves?
Jonathan Beardsley (Apr 01 2020 at 01:45):You know, this and that.
Jonathan Beardsley (Apr 01 2020 at 02:22):E.g. parameterized stable homotopy theory, a bit of ∞-topoi stuff. Used to be pretty obsessed with higher categorical descent (a la Hermida).
Tim Hosgood (Apr 01 2020 at 02:24):I'm a big fan of "simplicial sheaves", as I constantly tell people
Jonathan Beardsley (Apr 01 2020 at 02:27):They're very nice.
Jonathan Beardsley (Apr 01 2020 at 02:27):∞-topoi in general are pretty neat things.
Tim Hosgood (Apr 01 2020 at 02:28):not sure if "simplicial sheaves" make an -topoi, but, then again, i'm not too sure about anything about -topoi
Jonathan Beardsley (Apr 01 2020 at 02:31):Yeah pretty much always (or rather their "underlying ∞-category" is an ∞-topos, assuming the usual model structure).
John Baez (Apr 01 2020 at 03:05):If X's are a Y, simplicial X's are often an -Y.
Tim Hosgood (Apr 01 2020 at 11:38):but the subtle thing here is that simplicial sheaves are not just simplicial objects in the category of sheaves
Jonathan Beardsley (Apr 01 2020 at 17:07):True. So there's more packed into the word "sheaf" if it's following "simplicial."
Jonathan Beardsley (Apr 01 2020 at 17:07):In terms of, e.g., descent.
Notification Bot (Apr 06 2020 at 05:56):Christian Williams renamed stream algebraic geometry to theory: algebraic geometry.
Notification Bot (Oct 20 2023 at 15:17):Nathanael Arkor changed the access permissions for this stream from Public to Web-public.
Notification Bot (Oct 31 2023 at 11:18):Matteo Capucci (he/him) changed the description for this stream.
like geometry, but algebraic
Deprecated, use #theory: mathematics instead. like geometry, but algebraic
Notification Bot (Oct 31 2023 at 11:18):Matteo Capucci (he/him) renamed stream theory: algebraic geometry to deprecated: algebraic geometry.