Forum

john-dee
john-dee
@john-dee
Active Member
Joined: Nov 24, 2020
Last seen: Jan 18, 2021
Topics: 0 / Replies: 5
Reply
RE: Coslice of a presheaf topos

Thanks, it is indeed true. Regularity is also preserved under coslicing (what about more general comma constructions?), so one can derive that the cos...

3 years ago
Topic
Replies: 4
Views: 493
Reply
RE: Essential subtopoi of presheaf topoi

Another observation, don't take it as well-informed: the poset of essential localisations is usually not as well-behaved as one would expect; probably...

3 years ago
Reply
RE: Essential subtopoi of presheaf topoi

Can you phrase more in detail the question? I see what is a "level" from nLab, though some more context would help potential readers. I would say yo...

3 years ago
Reply
RE: Adjunction of frames and its induced adjunction of presheaf topoi

@matteocapucci You already found a way to rewrite the left and right Kan extensions of $f$; if you're interested in the bigger picture, the request th...

3 years ago