Next: Peter Freyd - Title Up: Category Theory / Théorie Previous: Michael Barr - *-autonomous
Marta Bunge - Covering toposes with singularities
MARTA BUNGE, Department of Mathematics and Statistics, McGill University, Montreal, Quebec H3A 2K6, Canada | |
Covering toposes with singularities |
The notion in the title refers to complete spreads in Topos Theory, a generalization due to M. Bunge and J. Funk (1996) of the corresponding topological notion introduced by R. H. Fox (Covering spaces with singularities. In: (eds., R. H. Fox et al), Algebraic Geometry and Topology: a Symposium in Honor of S. Lefschetz, Princeton Univ. Press, 1957, 243-257).
The purpose of this talk is to first review the various equivalent ways to think of complete spreads that are now available, and then to discuss some of the implications of such identifications. For an -bounded topos , the following categories are equivalent to the category of -valued distributions on (in the sense of F. W. Lawvere, Measures in Toposes. Lectures at the Aarhus Workshop in Categorical Methods in Geometry, 1983): (1) the category of -points of the symmetric topos (M. Bunge, Cosheaves and Distributions on Toposes. Algebra Universalis 34(1995), 469-484); (2) the category of -complete spreads over with locally connected domains (M. Bunge and J. Funk, Spreads and the Symmetric Topos. J. Pure. Appl. Algebra 113(1996), 1-38); (3) the category of M-discrete fibrations over in (M. Bunge and J. Funk, On a Bicomma Object condition for KZ-doctrines. J Pure. Appl. Algebra, to appear); and (4) the dual of the category of distribution algebras in over (M. Bunge, J. Funk and Jibladze, Distribution algebras. in preparation).
Of particular interest in this program is the interplay that takes place between Functional Analysis (Theory of Distributions), Model Theory (Classifying Toposes), Algebraic Topology (Covering Spaces), Category Theory (Fibered Categories) and Lattice Theory (Heyting Algebras).
Next: Peter Freyd - Title Up: Category Theory / Théorie Previous: Michael Barr - *-autonomous eo@camel.math.ca