Lawvere completion and separation via closure

DOI10.1007/S10485-008-9169-9MaRDI QIDQ987494zbMATHOpenAlexFDO

Authors 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

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)

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$.

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

Cites work

• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 1021635 (Why is no real title available?)
• scientific article; zbMATH DE number 1498617 (Why is no real title available?)
• scientific article; zbMATH DE number 3389217 (Why is no real title available?)
• A unified functional look at completion in MET, UNIF and AP
• Approach Spaces A Common Supercategory of TOP and MET
• Metric spaces, generalized logic, and closed categories
• Metric, topology and multicategory -- a common approach
• Note on Epi in
• One setting for all: Metric, topology, uniformity, approach structure
• Quantales and continuity spaces
• Topological theories and closed objects

Cited in

(24)

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

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)