Lawvere completeness in topology

DOI10.1007/s10485-008-9152-5zbMath1173.18001arXiv0704.3976OpenAlexW2161914031MaRDI QIDQ1022482

Dirk Hofmann, Maria Manuel Clementino

Publication date: 22 June 2009

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

Full work available at URL: https://arxiv.org/abs/0704.3976

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (26)

A four for the price of one duality principle for distributive spaces ⋮ Lax distributive laws for topology, II ⋮ Topological theories and closed objects ⋮ Ordered topological structures ⋮ Quantale-Enriched Multicategories Via Actions ⋮ Injective hulls of quantale-enriched multicategories ⋮ Approaching metric domains ⋮ Injective spaces via adjunction ⋮ Representable \((\mathbb{T},\mathbf{V})\)-categories ⋮ On presheaf submonads of quantale-enriched categories ⋮ Τ-quasi-Cauchy spaces - a non-symmetric theory of completeness and completion ⋮ Compactly generated spaces and quasi-spaces in topology ⋮ Cauchy completeness, lax epimorphisms and effective descent for split fibrations ⋮ On the completion monad via the Yoneda embedding in quasi-uniform spaces ⋮ WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES ⋮ A categorical approach to the maximum theorem ⋮ Convergence and quantale-enriched categories ⋮ The enriched Vietoris monad on representable spaces ⋮ The monads of classical algebra are seldom weakly Cartesian ⋮ Towards Stone duality for topological theories ⋮ Approximation in quantale-enriched categories ⋮ On the categorical meaning of Hausdorff and Gromov distances. I. ⋮ On generalized equilogical spaces ⋮ Cartesian closed exact completions in topology ⋮ Duality theory for enriched Priestley spaces ⋮ Completeness in probabilistic quasi-uniform spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic description of regular epimorphisms in topology
• Injective spaces via adjunction
• Lawvere completion and separation via closure
• Variation through enrichment
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Militaru's \(D\)-equation in monoidal categories
• One setting for all: Metric, topology, uniformity, approach structure
• The convergence approach to exponentiable maps.
• Effective descent morphisms in categories of lax algebras
• On limit stability of special classes of continuous maps
• Metric, topology and multicategory -- a common approach
• Taut monads and \(T0\)-spaces.
• Topological theories and closed objects
• Universality of coproducts in categories of lax algebras
• Exponentiation in \({\mathcal V}\)-categories
• Exponentiation for unitary structures
• Relative injectivity as cocompleteness for a class of distributors
• Metric spaces, generalized logic, and closed categories
• A Construction of the Pair Completion of a Quasi-Uniform Space
• Triquotient maps via ultrafilter convergence
• Relational algebras
• Monads on tensor categories

This page was built for publication: Lawvere completeness in topology