Notifications
Clear all
Basic questions
16
Posts
5
Users
14
Likes
682
Views
Topic starter
24/11/2020 11:56 pm
I have a complete Boolean algebra, and I'd like to show sheaves over it (wrt the usual coverage of jointly surjective families) are a level of the presheaves over it. I need that left adjoint to sheafification!
Is there some general useful fact about the existence of left adjoints to sheafification? This is equivalent to ask what are the levels of a presheaf topos
Topic starter
07/01/2021 10:26 am
@ocaramello Uh, I see! Indeed, you/your slides never refer to objects. I mistakenly went for a subcategory, which includes identities, hence objects, but now I understand that's not strictly necessary!
Page 2 / 2
Prev
