References & Citations
Mathematics > Category Theory
Title: Generalized point-free spaces, pointwise
(Submitted on 2 Jun 2022)
Abstract: We survey foundational principles of Grothendieck's generalized spaces, including a critical glossary of the various, and often conflicting, terminological usages. Known results using generalized points support a fully pointwise notation for these essentially point-free structures. This includes some from dependent type theory to deal with bundles as continuous space-valued maps, mapping base point to fibre.
Link back to: arXiv, form interface, contact.