Singular coverings of toposes
The main objective in this book is to develop a fairly self-contained theory of certain singular coverings of toposes which the authors name complete spreads. What they call the theory of complete spreads is an extension of \textit{R. H. Fox} (1957) in topology, and enjoys an unexpected connection with topos distributions in the sense of \textit{F. W. Lawvere} (1983). Complete spreads may be put down as the geometry of distributions. A complete spread is a kind of geometric morphism that is dual to an étale geometric morphism. The book is divided into three interrelated, yet distinct parts, both in content as well as in background and approach. In Part 1 the authors introduce distributions and complete spread geometric morphisms, which are clearly motivated by examples. They establish the main result of the book that there exists an adjoint equivalence between distributions on a topos \({\mathcal E}\) and complete spread maps over \({\mathcal E}\) with locally connected domain. The analogies multiply. In Part 2 the authors develop an axiomatic theory of complete spreads. It is shown, within the framework of 2-category theory, that all of the main theorems of the subject, such as the comprehensive factorization and the above mentioned adjoint equivalence, follow from certain key axioms (complete, closed, linear) satisfied by the symmetric monad. Part 3 is devoted to further aspects of distributions and complete spreads, such as localic, algebraic, lattice-theoretic and topological. Throughout the book open problems are emphasized.
- The connected Vietoris powerlocale
- Dualities between cellular sheaves and cosheaves
- Spreads and the symmetric topos
- Monoid properties as invariants of toposes of monoid actions
- Pitts monads and a lax descent theorem
- On the relation between continuous and combinatorial
- Toposes for semigroups: an invitation
- Continuity and geometric logic
- Classical and quantum probabilities as truth values
- scientific article; zbMATH DE number 1744253 (Why is no real title available?)
- scientific article; zbMATH DE number 2151115 (Why is no real title available?)
- scientific article; zbMATH DE number 753667 (Why is no real title available?)
- scientific article; zbMATH DE number 1402582 (Why is no real title available?)
- Compact Hausdorff locales in presheaf toposes
- Geometric morphisms between toposes of monoid actions: factorization systems
- scientific article; zbMATH DE number 7692245 (Why is no real title available?)
- Cosheaves and connectedness in formal topology
- The least subtopos containing the discrete skeleton of \(\Omega\)
- Classifying topoi in synthetic guarded domain theory
- Infinitary refinement types for temporal properties in Scott domains
- Toward a geometry for syntax
- The universal covering of an inverse semigroup.
This page was built for publication: Singular coverings of toposes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2494564)
