Abstract.
It is shown that a particular categorical axiomatisation of the category of locales is slice stable. This localic slice stability can be used to recover the fundamental theorem of topos theory. A categorical account of the ideal completion of a preorder is developed and is used to give a new proof of Joyal and Tierney's result on the slice stability of locales.
Received: 2010-05-11
Published Online: 2012-05-30
Published in Print: 2012-June
© 2012 by Walter de Gruyter Berlin Boston
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Artikel in diesem Heft
- Masthead
- Boundedness of the parametric Marcinkiewicz integral operator and its commutators on generalized Morrey spaces
- Modules that have a supplement in every cofinite extension
- Boundary value problems of statics of the elastic mixture theory
- On grand Lorentz spaces and the maximal operator
- Measurable and nonmeasurable sets with homogeneous sections
- Complexifications of real spaces: General aspects
- Continuous Hu cohomology
- Convergence and existence results for best C-proximity points
- Aspects of slice stability in locale theory
- On the irreducibility of Hurwitz spaces of coverings with two special fibers
- Weighted composition followed by differentiation between weighted Banach spaces of holomorphic functions
Schlagwörter für diesen Artikel
Locale;
power monad;
ideal completion;
sheaf;
local
homeomorphism;
relational composition
Artikel in diesem Heft
- Masthead
- Boundedness of the parametric Marcinkiewicz integral operator and its commutators on generalized Morrey spaces
- Modules that have a supplement in every cofinite extension
- Boundary value problems of statics of the elastic mixture theory
- On grand Lorentz spaces and the maximal operator
- Measurable and nonmeasurable sets with homogeneous sections
- Complexifications of real spaces: General aspects
- Continuous Hu cohomology
- Convergence and existence results for best C-proximity points
- Aspects of slice stability in locale theory
- On the irreducibility of Hurwitz spaces of coverings with two special fibers
- Weighted composition followed by differentiation between weighted Banach spaces of holomorphic functions