• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

The fundamental progroupoid of a general topos (0)

by Eduardo J Dubuc
Add To MetaCart

Tools

Sorted by:
Results 1 - 1 of 1

FUNDAMENTAL PUSHOUT TOPOSES

by Marta Bunge
"... Abstract. The author [2, 5] introduced and employed certain ‘fundamental pushout toposes ’ in the construction of the coverings fundamental groupoid of a locally connected topos. Our main purpose in this paper is to generalize this construction without the local connectedness assumption. In the spir ..."
Abstract - Add to MetaCart
Abstract. The author [2, 5] introduced and employed certain ‘fundamental pushout toposes ’ in the construction of the coverings fundamental groupoid of a locally connected topos. Our main purpose in this paper is to generalize this construction without the local connectedness assumption. In the spirit of [16, 10, 8] we replace connected components by constructively complemented, or definable, monomorphisms [1]. Unlike the locally connected case, where the fundamental groupoid is localic prodiscrete and its classifying topos is a Galois topos, in the general case our version of the fundamental groupoid is a locally discrete progroupoid and there is no intrinsic Galois theory in the sense of [19]. We also discuss covering projections, locally trivial, and branched coverings without local connectedness by analogy with, but also necessarily departing from, the locally connected case [13, 11, 7]. Throughout, we work abstractly in a setting given axiomatically by a category V of locally discrete locales that has as examples the categories D of discrete locales, and Z of zero-dimensional locales [9]. In this fashion we are led to give unified and often simpler proofs of old theorems in the locally connected case, as well as new ones without that assumption.
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University