Lawvere completion and separation via closure

DOI10.1007/S10485-008-9169-9zbMATH Open1207.18006arXiv0801.0199OpenAlexW1993757853MaRDI QIDQ987494FDOQ987494

Authors: Dirk Hofmann, Walter Tholen 

Publication date: 13 August 2010

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

Abstract: For a quantale $V$, first a closure-theoretic approach to completeness and separation in $V$-categories is presented. This approach is then generalized to $Tth$-categories, where $Tth$ is a topological theory that entails a set monad $mT$ and a compatible $mT$-algebra structure on $V$.

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

Recommendations

• Lawvere completeness as a topological property
• Completion, closure, and density relative to a monad, with examples in functional analysis and sheaf theory
• Quantale-valued topological spaces via closure and convergence
• Closure operators and closure systems on quantaloid-enriched categories
• Cartesian closed exact completions in topology

zbMATH Keywords

completenessmonadseparationquantaletopological theoryclosure operatorV-categoryYoneda lemma

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (24)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q987494)