Results 1 
9 of
9
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.
Natural weak factorization systems
 Archivum Mathematicum
"... Dedicated to Jiˇrí Rosick´y at the occasion of his sixtieth birthday Abstract. In order to facilitate a natural choice for morphisms created by the (left or right) lifting property as used in the definition of weak factorization systems, the notion of natural weak factorization system in the categor ..."
Abstract

Cited by 13 (0 self)
 Add to MetaCart
Dedicated to Jiˇrí Rosick´y at the occasion of his sixtieth birthday Abstract. In order to facilitate a natural choice for morphisms created by the (left or right) lifting property as used in the definition of weak factorization systems, the notion of natural weak factorization system in the category K is introduced, as a pair (comonad, monad) overK 2. The link with existing notions in terms of morphism classes is given via the respective Eilenberg– Moore categories. 1.
Van Kampen theorems for categories of covering morphisms in lextensive categories
 J. Pure Appl. Algebra
, 1995
"... this paper we show that this is the case if and only if the ground category is "lextensive" (see section 3). Moreover, this form of Van Kampen Theorem holds for many other classes of morphisms, in particular for separable (= decidable) morphisms in the sense of [4]. It turns out that the main condit ..."
Abstract

Cited by 11 (8 self)
 Add to MetaCart
this paper we show that this is the case if and only if the ground category is "lextensive" (see section 3). Moreover, this form of Van Kampen Theorem holds for many other classes of morphisms, in particular for separable (= decidable) morphisms in the sense of [4]. It turns out that the main condition in the general Van Kampen Theorem is that the canonical morphism B 1 +B 2 ! B must be an effective descent morphism. This is satisfied in the topological situation described above. On the other hand this condition is natural, because Grothendieck's original idea of descent arose from the gluing construction for sheaves similar to that used in the Van Kampen Theorem for coverings. Note that our theorem does not include all known results in full generality, such as the topological Van Kampen Theorem under certain homotopical conditions [3, 8.4.2], and Magid's Van Kampen Theorem for (strongly) separable algebras [12] (however, it provides a Van Kampen Theorem for all separable algebras  which is a new result). 1 A general setting for the Van Kampen Theorems
The Extensive Completion Of A Distributive Category
 Theory Appl. Categ
, 2001
"... A category with finite products and finite coproducts is said to be distributive if the canonical map AB+AC # A (B +C) is invertible for all objects A, B, and C. Given a distributive category D , we describe a universal functor D # D ex preserving finite products and finite coproducts, for wh ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
A category with finite products and finite coproducts is said to be distributive if the canonical map AB+AC # A (B +C) is invertible for all objects A, B, and C. Given a distributive category D , we describe a universal functor D # D ex preserving finite products and finite coproducts, for which D ex is extensive; that is, for all objects A and B the functor D ex /A D ex /B # D ex /(A + B) is an equivalence of categories. As an application, we show that a distributive category D has a full distributive embedding into the product of an extensive category with products and a distributive preorder. 1.
III A Functional Approach to General Topology
"... In this chapter we wish to present a categorical approach to fundamental concepts of General Topology, by providing a category X with an additional structure which allows us to display more directly the geometric properties of the objects of X regarded as spaces. Hence, we study topological properti ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
In this chapter we wish to present a categorical approach to fundamental concepts of General Topology, by providing a category X with an additional structure which allows us to display more directly the geometric properties of the objects of X regarded as spaces. Hence, we study topological properties for them, such as Hausdorff separation, compactness and local compactness, and we describe important topological constructions, such as the compactopen topology for function spaces and the StoneČech compactification. Of course, in a categorical setting, spaces are not investigated “directly ” in terms of their points and neighbourhoods, as in the traditional settheoretic setting; rather, one exploits the fact that the relations of points and parts inside a space become categorically special cases of the relation of the space to other objects in its category. It turns out that many stability properties and constructions are established more economically in the categorical rather than the settheoretic setting, leave alone the much greater level of generality and applicability. The idea of providing a category with some kind of topological structure is certainly
Extended Galois Theory And Dissonant Morphisms
"... For a given Galois structure on a category C and an effective descent morphism p : E!B in C we describe the category of socalled weakly split objects over (E; p) in terms of internal actions of the Galois (pre)groupoid of (E; p) with an additional structure. We explain that this generates various ..."
Abstract
 Add to MetaCart
For a given Galois structure on a category C and an effective descent morphism p : E!B in C we describe the category of socalled weakly split objects over (E; p) in terms of internal actions of the Galois (pre)groupoid of (E; p) with an additional structure. We explain that this generates various known results in categorical Galois theory and in particular two results of M. Barr and R. Diaconescu [BD]. We also give an elaborate list of examples and applications.
STRONGLY SEPARABLE MORPHISMS IN GENERAL CATEGORIES
"... Dedicated to Dominique Bourn on the occasion of his sixtieth birthday ..."
Journal of Homotopy and Related Structures, vol. 1(1), 2006, pp.1–5 SEPARABLE MORPHISMS OF SIMPLICIAL SETS
, 2006
"... (communicated by George Janelidze) We show that the class of separable morphisms in the sense of G. Janelidze and W. Tholen in the case of Galois structure ..."
Abstract
 Add to MetaCart
(communicated by George Janelidze) We show that the class of separable morphisms in the sense of G. Janelidze and W. Tholen in the case of Galois structure