Singular Coverings of Toposes

Marta Bunge, Jonathon Funk (auth.)9783540363590, 3-540-36359-9

The self-contained theory of certain singular coverings of toposes called complete spreads, that is presented in this volume, is a field of interest to topologists working in knot theory, as well as to various categorists. It extends the complete spreads in topology due to R. H. Fox (1957) but, unlike the classical theory, it emphasizes an unexpected connection with topos distributions in the sense of F. W. Lawvere (1983). The constructions, though often motivated by classical theories, are sometimes quite different from them. Special classes of distributions and of complete spreads, inspired respectively by functional analysis and topology, are studied. Among the former are the probability distributions; the branched coverings are singled out amongst the latter.

This volume may also be used as a textbook for an advanced one-year graduate course introducing topos theory with an emphasis on geometric applications. Throughout the authors emphasize open problems. Several routine proofs are left as exercises, but also as ‘exercises’ the reader will find open questions for possible future work in a variety of topics in mathematics that can profit from a categorical approach.

Table of contents :
Front Matter….Pages I-XVII
Front Matter….Pages 8-8
Lawvere Distributions on Toposes….Pages 9-29
Complete Spread Maps of Toposes….Pages 31-54
The Spread and Completeness Conditions….Pages 55-76
Front Matter….Pages 78-78
Completion KZ-Monads….Pages 79-97
Complete Spreads as Discrete M-fibrations….Pages 99-108
Closed and Linear KZ-Monads….Pages 109-127
Front Matter….Pages 130-130
Lattice-Theoretic Aspects….Pages 131-159
Localic and Algebraic Aspects….Pages 161-188
Topological Aspects….Pages 189-215
Back Matter….Pages 217-229