Results 1 
5 of
5
Exact Completions and Toposes
 University of Edinburgh
, 2000
"... Toposes and quasitoposes have been shown to be useful in mathematics, logic and computer science. Because of this, it is important to understand the di#erent ways in which they can be constructed. Realizability toposes and presheaf toposes are two important classes of toposes. All of the former and ..."
Abstract

Cited by 13 (4 self)
 Add to MetaCart
Toposes and quasitoposes have been shown to be useful in mathematics, logic and computer science. Because of this, it is important to understand the di#erent ways in which they can be constructed. Realizability toposes and presheaf toposes are two important classes of toposes. All of the former and many of the latter arise by adding &quot;good &quot; quotients of equivalence relations to a simple category with finite limits. This construction is called the exact completion of the original category. Exact completions are not always toposes and it was not known, not even in the realizability and presheaf cases, when or why toposes arise in this way. Exact completions can be obtained as the composition of two related constructions. The first one assigns to a category with finite limits, the &quot;best &quot; regular category (called its regular completion) that embeds it. The second assigns to
Functorial Factorization, Wellpointedness and Separability
"... A functorial treatment of factorization structures is presented, under extensive use of wellpointed endofunctors. Actually, socalled weak factorization systems are interpreted as pointed lax indexed endofunctors, and this sheds new light on the correspondence between reflective subcategories and f ..."
Abstract

Cited by 13 (4 self)
 Add to MetaCart
A functorial treatment of factorization structures is presented, under extensive use of wellpointed endofunctors. Actually, socalled weak factorization systems are interpreted as pointed lax indexed endofunctors, and this sheds new light on the correspondence between reflective subcategories and factorization systems. The second part of the paper presents two important factorization structures in the context of pointed endofunctors: concordantdissonant and inseparableseparable.
Closure Operators in Exact Completions
, 2001
"... In analogy with the relation between closure operators in presheaf toposes and Grothendieck topologies, we identify the structure in a category with finite limits that corresponds to universal closure operators in its regular and exact completions. The study of separated objects in exact completions ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
In analogy with the relation between closure operators in presheaf toposes and Grothendieck topologies, we identify the structure in a category with finite limits that corresponds to universal closure operators in its regular and exact completions. The study of separated objects in exact completions will then allow us to give conceptual proofs of local cartesian closure of di#erent categories of pseudo equivalence relations. Finally, we characterize when certain categories of sheaves are toposes. 1.
REMARKS ON EXACTNESS NOTIONS PERTAINING TO PUSHOUTS
"... Abstract. We call a finitely complete category diexact if every difunctional relation admits a pushout which is stable under pullback and itself a pullback. We prove three results relating to diexact categories: firstly, that a category is a pretopos if and only if it is diexact with a strict initia ..."
Abstract
 Add to MetaCart
Abstract. We call a finitely complete category diexact if every difunctional relation admits a pushout which is stable under pullback and itself a pullback. We prove three results relating to diexact categories: firstly, that a category is a pretopos if and only if it is diexact with a strict initial object; secondly, that a category is diexact if and only if it is Barrexact, and every pair of monomorphisms admits a pushout which is stable and a pullback; and thirdly, that a small category with finite limits and pushouts of difunctional relations is diexact if and only if it admits a full structurepreserving embedding into a Grothendieck topos. 1.
Van Kampen diagrams are bicolimits in Span
"... In adhesive categories, pushouts along monomorphisms are Van Kampen (vk) squares, a special case of a more general notion called vkdiagram. Other examples of vkdiagrams include coproducts in extensive categories and strict initial objects. Extensive and adhesive categories characterise useful ex ..."
Abstract
 Add to MetaCart
In adhesive categories, pushouts along monomorphisms are Van Kampen (vk) squares, a special case of a more general notion called vkdiagram. Other examples of vkdiagrams include coproducts in extensive categories and strict initial objects. Extensive and adhesive categories characterise useful exactness properties of, respectively, coproducts and pushouts along monos and have found several applications in theoretical computer science. We show that the property of being vk is actually universal, not in C but in the bicategory of spans Span C. This theorem of pure category theory sheds light on the nature of spans and suggests promising generalisations of the theory of adhesive categories.