Relative injectivity as cocompleteness for a class of distributors
| dc.creator | Clementino, Maria Manuel | |
| dc.creator | Hofmann, Dirk | |
| dc.date | 2008-07-25 | |
| dc.date.accessioned | 2026-07-07T09:52:57Z | |
| dc.date.available | 2026-07-07T09:52:57Z | |
| dc.description | 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 $\mathsf{Set}$. 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ó and B. Flagg, Semantic domains, injective spaces and monads, Electronic Notes in Theoretical Computer Science 20 (1999)] can be translated into the $\mathsf{V}$-enriched setting. | |
| dc.identifier | https://arxiv.org/abs/0807.4123 | |
| dc.identifier | http://arxiv.org/abs/0807.4123 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/165780 | |
| dc.subject | Category Theory | |
| dc.subject | General Topology | |
| dc.subject | 18 (primary), 54E (secondary) | |
| dc.title | Relative injectivity as cocompleteness for a class of distributors | |
| dc.type | text |