Lawvere completion and separation via closure

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

Walter Tholen, Dirk Hofmann

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

completeness; closure operator; separation; monad; quantale; topological theory; V-category; Yoneda lemma

Mathematics Subject Classification ID

54B30: Categorical methods in general topology

18B35: Preorders, orders, domains and lattices (viewed as categories)

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

06F07: Quantales

18D20: Enriched categories (over closed or monoidal categories)

Related Items

Approaching metric domains, Towards Stone duality for topological theories, Approximation in quantale-enriched categories, Injective spaces via adjunction, On the completion monad via the Yoneda embedding in quasi-uniform spaces, On the categorical meaning of Hausdorff and Gromov distances. I., Lawvere completeness in topology, The enriched Vietoris monad on representable 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