Abstract
In this paper we investigate effective descent morphisms in categories of reflexive and transitive lax algebras. We show in particular that open and proper maps are of effective descent, result that extends the corresponding results for the category of topological spaces and continuous maps.
Similar content being viewed by others
References
Bourbaki, N.: Topologie Générale, Hermann, Paris, 1961.
Clementino, M. M. and Hofmann, D.: Triquotient maps via ultrafilter convergence, Proc. Amer. Math. Soc. 130 (2002), 3423–3431.
Clementino, M. M. and Hofmann, D.: Topological features of lax algebras, Appl. Categ. Structures 11 (2003), 267–286.
Clementino, M. M. and Hofmann, D.: On extensions of lax monads, Theory Appl. Categories (to appear).
Clementino, M. M., Hofmann, D. and Tholen, W.: Exponentiability in categories of lax algebras, Theory Appl. Categories 11 (2003), 337–352.
Clementino, M. M. and Tholen, W.: Metric, topology and multicategory – a common approach, J. Pure Appl. Algebra 179 (2003), 13–47.
Hájek, O.: Notes on quotient maps, Comment. Math. Univ. Carolinae 7 (1966), 319–323.
Janelidze, G. and Sobral, M.: Finite preorders and topological descent I, J. Pure Appl. Algebra 175 (2002), 187–205.
Janelidze, G. and Tholen, W.: Facets of descent I, Appl. Categ. Structures 2 (1994), 245–281.
Lawvere, F. W.: Metric spaces, generalized logic, and closed categories, Rend. Sem. Mat. Fis. Milano 43 (1973), 135–166.
Moerdijk, I.: Descent theory for Toposes, Bull. Soc. Math. Belgique 41 (1989), 373–391.
Moerdijk, I.: Descent for proper maps of topological spaces, Manuscript, 1990.
Reiterman, J. and Tholen, W.: Effective descent maps of topological spaces, Topology Applications 57 (1994), 53–69.
Sobral, M. and Tholen, W.: Effective descent morphisms and effective equivalence relations, in Category Theory 1991, CMS Conference Proceedings 13, Amer. Math. Soc., Providence, RI, 1992, pp. 421–432.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Clementino, M.M., Hofmann, D. Effective Descent Morphisms in Categories of Lax Algebras. Applied Categorical Structures 12, 413–425 (2004). https://doi.org/10.1023/B:APCS.0000049310.37773.fa
Issue Date:
DOI: https://doi.org/10.1023/B:APCS.0000049310.37773.fa