One setting for all: Metric, topology, uniformity, approach structure

DOI10.1023/B:APCS.0000018144.87456.10zbMath1051.18005MaRDI QIDQ1430170

Walter Tholen, Maria Manuel Clementino, Dirk Hofmann

Publication date: 27 May 2004

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

zbMATH Keywords

metric spaceapproach spaceordered setuniform spacetopological spacetopological category\((T,\mathbf V)\)-algebra\((T,\mathbf V)\)-proalgebra\(\mathbf V\)-matrix\(\mathbf V\)-promatrixco-Kleisli compositionproapproach spaceprometric spaceprotopological space

Mathematics Subject Classification ID

Related Items (42)

Lattice-valued preordered sets as lattice-valued topological systems ⋮ Internal Neighbourhood Structures II: Closure and closed morphisms ⋮ Uniform environments as a general framework for metrics and uniformities ⋮ Applications of Scott-closed sets in convex structures ⋮ A Kleisli-based approach to lax algebras ⋮ Topological theories and closed objects ⋮ Uniform structures in the beginning of the third millenium ⋮ Ordered topological structures ⋮ Quantale-valued topological spaces via closure and convergence ⋮ Injective spaces via adjunction ⋮ Unnamed Item ⋮ Lax algebra meets topology ⋮ Universality of coproducts in categories of lax algebras ⋮ A duality of generalized metric spaces ⋮ On the completion monad via the Yoneda embedding in quasi-uniform spaces ⋮ A duality of quantale-enriched categories ⋮ Kleisli enriched ⋮ Unnamed Item ⋮ WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES ⋮ The limit–colimit coincidence theorem for -categories ⋮ Axioms for sequential convergence ⋮ Lax algebras via initial monad morphisms: APP, TOP, MET and ORD ⋮ Approximation in quantale-enriched categories ⋮ On the categorical meaning of Hausdorff and Gromov distances. I. ⋮ An algebraic description of regular epimorphisms in topology ⋮ Monads in topology ⋮ Lawvere completion and separation via closure ⋮ Kleisli compositions for topological spaces ⋮ Exponentiation for unitary structures ⋮ Monadic convergence structures revisited ⋮ A note on Colebunders-Lowen-Rosiers monads ⋮ Scott approach distance on metric spaces ⋮ Met-like categories amongst concrete topological categories ⋮ The \(\top\)-filter monad and its applications ⋮ The formal ball model for -categories ⋮ Characterization of a category for monoidal topology ⋮ The Vietoris monad and weak distributive laws ⋮ Lawvere completeness in topology ⋮ On a lax-algebraic characterization of closed maps ⋮ On fuzzification of topological categories ⋮ Quantale-Valued Generalizations of Approach Groups ⋮ Quantale-Valued Uniformizations of Quantale-Valued Generalizations of Approach Groups

This page was built for publication: One setting for all: Metric, topology, uniformity, approach structure