Relative injectivity as cocompleteness for a class of distributors

MaRDI QIDQ3614501zbMATH OpenFDO

Authors Maria Manuel Clementino, Dirk Hofmann

Publication date 9 March 2009

Full work available at URL https://arxiv.org/abs/0807.4123, https://eudml.org/doc/129892

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

\(\vee\)-categorydistributormonadquantaletopological theoryweighted colimitYoneda lemma

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) 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) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Categorical methods in general topology (54B30) Semantics in the theory of computing (68Q55)

Abstract: Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces via adjunction, arXiv:0804.0326 [math.CV]] the construction of a Yoneda embedding allowed to identify injectivity of spaces as cocompleteness and to show monadicity of the category of injective spaces and left adjoints over $mathsfSet$. In this paper we generalise these results, studying cocompleteness with respect to a given class of distributors. We show in particular that the description of several semantic domains presented in [M. Escard'o and B. Flagg, Semantic domains, injective spaces and monads, Electronic Notes in Theoretical Computer Science 20 (1999)] can be translated into the $mathsfV$-enriched setting.

Recommendations

• scientific article; zbMATH DE number 3995944
• A categorical generalization of Scott domains
• scientific article; zbMATH DE number 2172965
• scientific article; zbMATH DE number 956838
• scientific article; zbMATH DE number 742722

Cited in

(13)

• Lawvere completeness in topology
• Enriched Stone-type dualities
• Fibrewise injectivity and Kock-Zöberlein monads
• The enriched Vietoris monad on representable spaces
• Injective hulls of quantale-enriched multicategories
• Approaching metric domains
• Approximation in quantale-enriched categories
• Quantale-enriched multicategories via actions
• On presheaf submonads of quantale-enriched categories
• Injective spaces via adjunction
• On the completion monad via the Yoneda embedding in quasi-uniform spaces
• Representable \((\mathbb{T},\mathbf{V})\)-categories
• From quantale algebroids to topological spaces: fixed- and variable-basis approaches

This page was built for publication: Relative injectivity as cocompleteness for a class of distributors

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