Topological features of Lax algebras

DOI10.1023/A:1024274315778zbMath1024.18003MaRDI QIDQ1404248

Maria Manuel Clementino, Dirk Hofmann

Publication date: 21 August 2003

Published in: Applied Categorical Structures (Search for Journal in Brave)

zbMATH Keywords

approach space; topological space; Čech-Stone compactification; quasi-uniform space; lax algebra; ultrafilter monad; lax monad

Mathematics Subject Classification ID

18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)

54B30: Categorical methods in general topology

54A20: Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.)

54E15: Uniform structures and generalizations

18C20: Eilenberg-Moore and Kleisli constructions for monads

Related Items

Unnamed Item, Convergence and quantale-enriched categories, The comprehensive factorization of Burroni's T-functors, Kleisli monoids describing approach spaces, Approaching metric domains, Descent morphisms and a van Kampen theorem in categories of lax algebras, Lax algebra meets topology, A duality of quantale-enriched categories, Lax algebras via initial monad morphisms: APP, TOP, MET and ORD, Towards Stone duality for topological theories, Approximation in quantale-enriched categories, An algebraic description of regular epimorphisms in topology, Injective spaces via adjunction, A duality of generalized metric spaces, On the completion monad via the Yoneda embedding in quasi-uniform spaces, A note on effective descent morphisms of topological spaces and relational algebras, Characterization of a category for monoidal topology, New wide classes of weakly Mal'tsev categories, Basic concepts of quantale-enriched topologies, Enriched Stone-type dualities, Quantalic topological theories, Normality in terms of distances and contractions, A categorical approach to the maximum theorem, Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\), Normality, regularity and contractive realvalued maps, Met-like categories amongst concrete topological categories, Metric, topology and multicategory -- a common approach, Monadic convergence structures revisited, The \(\top\)-filter monad and its applications, Compactly generated spaces and quasi-spaces in topology, On the categorical behaviour of \(V\)-groups, The enriched Vietoris monad on representable spaces, Covering morphisms in categories of relational algebras, The monads of classical algebra are seldom weakly Cartesian, Monads in topology, Another note on effective descent morphisms of topological spaces and relational algebras, Strict monadic topology. I: First separation axioms and reflections, On generalized equilogical spaces, Cartesian closed exact completions in topology, On exponentiability of étale algebraic homomorphisms, Topological theories and closed objects, Ordered topological structures, Quantale-valued topological spaces via closure and convergence, Exponentiation in \({\mathcal V}\)-categories, Exponentiation for unitary structures, Regularity for relational algebras and approach spaces, The formal ball model for -categories, The limit–colimit coincidence theorem for -categories