Skip to main content

All Questions

Filter by
Sorted by
Tagged with
10 votes
1 answer
504 views

Is there a way to "puncture" a topos?

Let $E$ be a (Grothendieck) topos, e.g. $E = \text{Sh}(X)$ for a topological space $X$. And let $p = (p^*, p_*):\text{Set}\to E$ be a point of $E$, is there a way to "puncture" $E$ in some sense? By "...