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.
Morgan Rogers (he/him) (Apr 06 2020 at 10:06):Joe Moeller said:
Hmm, this conversation is making me think about like manifolds and sheaves. What sort of category do you get if you consider like stacks of abelian categories or stacks of topoi? :thinking:
I need to learn more about stacks. I don't even know enough to tell if this is the most relevant stream for this discussion.
Tim Hosgood (Apr 06 2020 at 14:34):there’s a really nice set of notes by bertrand toën on stacks as infinity-sheaves
Tim Hosgood (Apr 06 2020 at 14:35):https://perso.math.univ-toulouse.fr/btoen/videos-lecture-notes-etc/
Tim Hosgood (Apr 06 2020 at 14:36):“lectures on non-abelian cohomology”
Morgan Rogers (he/him) (Apr 06 2020 at 14:51):Following the links I tried to start here but for some reason the video quality is terrible and the notes below it won't load.
Morgan Rogers (he/him) (Apr 06 2020 at 15:13):Tim Hosgood said:
there’s a really nice set of notes by bertrand toën on stacks as infinity-sheaves
If you mean these notes then... I might disagree with the description "really nice" for someone who can't yet give a formal definition of a stack :sweat_smile: . It defines an -stack as an object in a homotopy category that took a page to construct, and which I have none of the requisite context to appreciate the significance of ...
Tim Hosgood (Apr 06 2020 at 16:36):oh no, i meant https://perso.math.univ-toulouse.fr/btoen/files/2015/02/msri2002.pdf
Tim Hosgood (Apr 06 2020 at 16:37):it's maybe not the most motivated/non-technical approach, but it's a pretty solid introduction with some nice explicit examples