Descent morphisms and a van Kampen Theorem in categories of lax algebras

Abstract In this paper we characterise descent morphisms in categories of lax algebras via a generalised limit-lifting condition. Furthermore, we apply this result to establish a global van Kampen Theorem in some of these categories.

[1]  Dirk Hofmann,et al.  Exponentiability in categories of lax algebras , 2003 .

[2]  Walter Tholen,et al.  Universality of Coproducts in Categories of Lax Algebras , 2006, Appl. Categorical Struct..

[3]  George Janelidze,et al.  A note on effective descent morphisms of topological spaces and relational algebras , 2011 .

[4]  Reinhard Börger.  Coproducts and ultrafilters , 1987 .

[5]  R. Lowen.  Approach Spaces: The Missing Link in the Topology-Uniformity-Metric Triad , 1997 .

[6]  E. Michael,et al.  Bi-quotient maps and cartesian products of quotient maps , 1968 .

[7]  E. Michael.  Complete spaces and tri-quotient maps , 1977 .

[8]  Dirk Hofmann,et al.  Topological theories and closed objects , 2007 .

[9]  O. Hájek.  Notes on quotient maps , 1966 .

[10]  Walter Tholen,et al.  How algebraic is the change-of-base functor? , 1991 .

[11]  Jirí Adámek,et al.  Abstract and Concrete Categories - The Joy of Cats , 1990 .

[12]  Ernest G. Manes,et al.  Taut Monads and T0-spaces , 2002, Theor. Comput. Sci..

[13]  Walter Tholen,et al.  Facets of descent, I , 1994, Appl. Categorical Struct..

[14]  Dirk Hofmann,et al.  On extensions of lax monads , 2004 .

[15]  Walter Tholen,et al.  Metric, topology and multicategory—a common approach , 2003 .

[16]  Dirk Hofmann,et al.  Effective Descent Morphisms in Categories of Lax Algebras , 2004, Appl. Categorical Struct..

[17]  George Janelidze,et al.  Van Kampen theorems for categories of covering morphisms in lextensive categories , 1997 .

[18]  Horst Herrlich,et al.  Abstract and concrete categories , 1990 .

[19]  F. William Lawvere,et al.  Metric spaces, generalized logic, and closed categories , 1973 .

[20]  Dirk Hofmann,et al.  Topological Features of Lax Algebras , 2003, Appl. Categorical Struct..

[21]  Walter Tholen,et al.  Facets of Descent, II , 1994, Appl. Categorical Struct..

[22]  G. M. Kelly,et al.  On topological quotient maps preserved by pullbacks or products , 1970, Mathematical Proceedings of the Cambridge Philosophical Society.

[23]  Dirk Hofmann,et al.  Triquotient maps via ultrafilter convergence , 2002 .

[24]  A note on the categorical van Kampen Theorem , 2011 .

[25]  Walter Tholen,et al.  Effective descent maps of topological spaces , 1994 .