scientific article; zbMATH DE number 1796614
From MaRDI portal
zbMath1078.18501MaRDI QIDQ4551182
Publication date: 5 September 2002
Full work available at URL: http://www.emis.de/journals/TAC/reprints/articles/1/tr1abs.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Metric spaces, metrizability (54E35) Categorical methods in general topology (54B30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items
Completeness and injectivity, Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives, Lattice-valued preordered sets as lattice-valued topological systems, Higher Interpolation and Extension for Persistence Modules, Towards Measurable Types for Dynamical Process Modeling Languages, Order-adjoint monads and injective objects, Topological theories and closed objects, Enriched Stone-type dualities, Magnitude cohomology, Torsion theories and coverings of \(V\)-groups, Ordered topological structures, The rise and fall of \(V\)-functors, Quantale-valued topological spaces via closure and convergence, Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories, Isbell conjugacy and the reflexive completion, Injective hulls of quantale-enriched multicategories, Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category, Unnamed Item, Injective spaces via adjunction, Generalized metric spaces: a survey, Quantalic topological theories, Kantorovich functors and characteristic logics for behavioural distances, Metrics for generalized persistence modules, A general theory of self-similarity, Compactly generated spaces and quasi-spaces in topology, Up-to techniques for behavioural metrics via fibrations, Unnamed Item, Descent morphisms and a van Kampen theorem in categories of lax algebras, Lax algebra meets topology, On the categorical behaviour of \(V\)-groups, A duality of generalized metric spaces, On the completion monad via the Yoneda embedding in quasi-uniform spaces, Mealy morphisms of enriched categories, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Elementary doctrines as coalgebras, A construction of the \(B\)-completion of a \(T_0\)-quasi-metric space, Encoding complete metric structures by classical structures, Up-To Techniques for Behavioural Metrics via Fibrations, Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\), The enriched Vietoris monad on representable spaces, Approximate categorical structures, Approximation in quantale-enriched categories, Fuzzy sets and geometric logic, On the categorical meaning of Hausdorff and Gromov distances. I., Lax orthogonal factorisations in ordered structures, Exponentiation in \({\mathcal V}\)-categories, Exponentiation for unitary structures, Value semigroups, value quantales, and positivity domains, Simulation Hemi-metrics between Infinite-State Stochastic Games, Characterization of a category for monoidal topology, Metagories, The connected Vietoris powerlocale, Cartesian closed exact completions in topology, Duality theory for enriched Priestley spaces, Metrics on triangulated categories, CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC, Unnamed Item, On a lax-algebraic characterization of closed maps
