Generalized point-free spaces, pointwise

Steven Vickers

We survey foundational principles of Grothendieck's generalized spaces, including a critical glossary of the various, and often conflicting, terminological usages. Known results us…