john-dee
Active Member
Joined: Nov 24, 2020
Last seen: Jan 18, 2021
Last seen: Jan 18, 2021
Follow
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
Forum
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
Forum
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
Forum
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
Forum