Results 1 
4 of
4
The Discrete Objects in the Effective Topos
 Proc. London Math. Soc
, 1990
"... The original aim of this paper was to give a rather quick and undemanding proof that the effective topos contains two nontrivial small (i.e. internal) full subcategories which are closed under all small limits in the topos (and hence in particular are internally complete). The interest in such subc ..."
Abstract

Cited by 24 (6 self)
 Add to MetaCart
The original aim of this paper was to give a rather quick and undemanding proof that the effective topos contains two nontrivial small (i.e. internal) full subcategories which are closed under all small limits in the topos (and hence in particular are internally complete). The interest in such subcategories arises from
Galois Groupoids and Covering Morphisms in Topos Theory
"... The goals of this paper are (1) to compare the Galois groupoid that appears naturally in the construction of the fundamental groupoid of a topos E bounded over an arbitrary base topos S given by Bunge (1992), with the formal Galois groupoid defined by Janelidze (1990) in a very general setting given ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
The goals of this paper are (1) to compare the Galois groupoid that appears naturally in the construction of the fundamental groupoid of a topos E bounded over an arbitrary base topos S given by Bunge (1992), with the formal Galois groupoid defined by Janelidze (1990) in a very general setting given by a pair of adjoint functors, and (2) to discuss a good notion of covering morphism of a topos E over S which is general enough to include, in addition to the covering projections determined by the locally constant objects, also the unramified morphisms of topos theory given by those local homeomorphisms which are at the same time complete spreads in the sense of BungeFunk (1996, 1998).
TIGHTLY BOUNDED COMPLETIONS
"... Abstract. By a ‘completion ’ on a 2category K we mean here an idempotent pseudomonad on K. We are particularly interested in pseudomonads that arise from KZdoctrines. Motivated by a question of Lawvere, we compare the Cauchy completion [23], defined in the setting of VCat for V a symmetric monoida ..."
Abstract
 Add to MetaCart
Abstract. By a ‘completion ’ on a 2category K we mean here an idempotent pseudomonad on K. We are particularly interested in pseudomonads that arise from KZdoctrines. Motivated by a question of Lawvere, we compare the Cauchy completion [23], defined in the setting of VCat for V a symmetric monoidal closed category, with the Grothendieck completion [7], defined in the setting of SIndexed Cat for S a topos. To this end we introduce a unified setting (‘indexed enriched category theory’) in which to formulate and study certain properties of KZdoctrines. We find that, whereas all of the KZdoctrines that are relevant to this discussion (Karoubi, Cauchy, Stack, Grothendieck) may be regarded as ‘bounded’, only the Cauchy and the Grothendieck completions are ‘tightly bounded ’ – two notions that we introduce and study in this paper. Tightly bounded KZdoctrines are shown to be idempotent. We also show, in a different approach to answering the motivating question, that the Cauchy completion (defined using ‘distributors ’ [2]) and the Grothendieck completion (defined using ‘generalized functors’ [21]) are actually equivalent constructions1.