Answer by Dmitri Pavlov for Terminology for this notion of "$\sigma$-algebra"...
This is an answer to the new question formulated in the comments.Point-set notions of topological spaces are a poor fit for arbitrarytoposes because constructing points typically requires the axiomof...
View ArticleTerminology for this notion of "$\sigma$-algebra" in a topos
Let $\mathcal{E}$ be a Grothendieck topos. I want to define a sort of "$\sigma$-algebra" for it, and I'm asking about what it should be—or already is—called. I know from nlab that Cheng spaces are an...
View Article
More Pages to Explore .....