Zulip Chat Archive

Stream: maths

Topic: sheaves

view this post on Zulip Bhavik Mehta (Jun 02 2020 at 14:10):

I've made lots of progress for (Lawvere-Tierney) sheaves in a topos, which should specialise nicely to give the category of sheaves over a Grothendieck site. My question is: what do the people who know about sheaves in geometry want? Eg if I give you a (black-box) functor which is left adjoint to inclusion of presheaves into sheaves, and a proof that it preserves finite limits would you be happy?

view this post on Zulip Reid Barton (Jun 02 2020 at 14:11):

I thought about exactly this question a few months ago. Unfortunately, I think my notes on the subject might be in my office which I cannot get into...

Last updated: May 12 2021 at 07:17 UTC