Topological features of Lax algebras
approach spacelax algebralax monadquasi-uniform spacetopological spaceultrafilter monadČech-Stone compactification
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Eilenberg-Moore and Kleisli constructions for monads (18C20) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Categorical methods in general topology (54B30) Uniform structures and generalizations (54E15)
Guided by \textit{M. Barr}'s [Lect. Notes Math. 137, 39-55 (1970; Zbl 0204.33202)] description of topological spaces and continuous maps, the authors show that several topological structures and their corresponding continuous maps can be described by relaxing the notion of a monad. They show also that, under natural assumptions, categories of lax algebras for a lax extension of a monad in \({\mathcal X}\) are topological over \({\mathcal X}\). By extending the construction of \textit{E. G. Manes} [General Topology Appl. 4, 341-360 (1974; Zbl 0289.54003)], they construct the reflection of a reflexive and transitive lax algebra with respect to a lax monad into the corresponding category of algebras for the monad.
- 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
- Applications of Scott-closed sets in convex structures
- 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 a lax-algebraic characterization of closed maps
- 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
- Domains occur among spaces as strict algebras among lax
- The formal ball model for \(\mathcal Q\)-categories
- Kleisli monoids describing approach spaces
- The limit–colimit coincidence theorem for -categories
- Approaching metric domains
- Coherent Extensions and Relational Algebras
- Descent morphisms and a van Kampen theorem in categories of lax algebras
- Lax algebra meets topology
- Convergence and quantale-enriched categories
- Topological properties of non-Archimedean approach spaces
- A duality of quantale-enriched categories
- Lax distributive laws for topology, II
- The comprehensive factorization of Burroni's T-functors
- 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
- Supported approach spaces
- Injective spaces via adjunction
- scientific article; zbMATH DE number 7696889 (Why is no real title available?)
- 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
- Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects
- On the probabilistic metrizability of approach spaces
- Approximation and Compactness
- Quantale-valued convex structures as lax algebras
- Approach properties of probabilistic metrizable approach spaces
- The Scott open V-set monad and its categories of algebras
- A variety of co-quasivarieties
- 0-ideal monad and its applications to approach spaces
- Cauchy completions and the rule of unique choice in relational doctrines
- A note on Mal'tsev objects
- A characterisation of probabilistic metrizability for approach spaces
- Characterization of a category for monoidal topology
- New wide classes of weakly Mal'tsev categories
- Basic concepts of quantale-enriched topologies
- A Kleisli-based approach to lax algebras
This page was built for publication: Topological features of Lax algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1404248)