Lawvere completion and separation via closure

DOI10.1007/s10485-008-9169-9zbMath1207.18006arXiv0801.0199OpenAlexW1993757853MaRDI QIDQ987494

Dirk Hofmann, Walter Tholen

Publication date: 13 August 2010

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

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

zbMATH Keywords

completenessclosure operatorseparationmonadquantaletopological theoryV-categoryYoneda lemma

Mathematics Subject Classification ID

Categorical methods in general topology (54B30) Preorders, orders, domains and lattices (viewed as categories) (18B35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Quantales (06F07) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (21)

Enriched Stone-type dualities ⋮ Quantale-Enriched Multicategories Via Actions ⋮ Injective hulls of quantale-enriched multicategories ⋮ Approaching metric domains ⋮ Injective spaces via adjunction ⋮ On presheaf submonads of quantale-enriched categories ⋮ Τ-quasi-Cauchy spaces - a non-symmetric theory of completeness and completion ⋮ A point-free perspective on lax extensions and predicate liftings ⋮ Compactly generated spaces and quasi-spaces in topology ⋮ On the completion monad via the Yoneda embedding in quasi-uniform spaces ⋮ Convergence and quantale-enriched categories ⋮ The enriched Vietoris monad on representable spaces ⋮ Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces ⋮ Towards Stone duality for topological theories ⋮ Approximation in quantale-enriched categories ⋮ On the categorical meaning of Hausdorff and Gromov distances. I. ⋮ Hausdorff coalgebras ⋮ Scott approach distance on metric spaces ⋮ Lawvere completeness in topology ⋮ Cartesian closed exact completions in topology ⋮ Duality theory for enriched Priestley spaces

Cites Work

• Quantales and continuity spaces
• One setting for all: Metric, topology, uniformity, approach structure
• A unified functional look at completion in MET, UNIF and AP
• Metric, topology and multicategory -- a common approach
• Topological theories and closed objects
• Approach Spaces A Common Supercategory of TOP and MET
• Metric spaces, generalized logic, and closed categories
• Note on Epi in
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Lawvere completion and separation via closure