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:math.CT/0804.0326] 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 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 No...
AbstractWe investigate injective objects with respect to the class of embeddings in the categories T...
The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve asse...
AbstractGiven an injective space D (a continuous lattice endowed with the Scott topology) and a subs...
AbstractThe work of the present author and his coauthors over the past years gives evidence that it ...
AbstractMany categories of semantic domains can be considered from an order-theoretic point of view ...
Using Escard\uf3\u2019s characterization of injectivity via Kock\u2013Z\uf6berleinmonads, we introdu...
Using Escard\uf3\u2019s characterization of injectivity via Kock\u2013Z\uf6berleinmonads, we introdu...
Abstract. Employing a formal analogy between ordered sets and topological spaces, over the past year...
ABSTRACT. Injectivity with respect to morphisms having λ-presentable domains and codomains is charac...
Continuous lattices were characterised by Martín Escardó as precisely those objects that are Kan-inj...
Injectivity of objects with respect to a set H of morphisms is an important concept of algebra and h...
AbstractSierpinski space Ω is injective in the category Top of topological spaces, but not in any of...
none3siAvailable online 22 December 2015This paper studies injectivity for continuous maps between T...
Abstract. Algebraic topological methods have been used successfully in con-currency theory, the doma...
We investigate a Galois connection in poset enriched categories between subcategories and classes of...
AbstractWe investigate injective objects with respect to the class of embeddings in the categories T...
The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve asse...
AbstractGiven an injective space D (a continuous lattice endowed with the Scott topology) and a subs...
AbstractThe work of the present author and his coauthors over the past years gives evidence that it ...
AbstractMany categories of semantic domains can be considered from an order-theoretic point of view ...
Using Escard\uf3\u2019s characterization of injectivity via Kock\u2013Z\uf6berleinmonads, we introdu...
Using Escard\uf3\u2019s characterization of injectivity via Kock\u2013Z\uf6berleinmonads, we introdu...
Abstract. Employing a formal analogy between ordered sets and topological spaces, over the past year...
ABSTRACT. Injectivity with respect to morphisms having λ-presentable domains and codomains is charac...
Continuous lattices were characterised by Martín Escardó as precisely those objects that are Kan-inj...
Injectivity of objects with respect to a set H of morphisms is an important concept of algebra and h...
AbstractSierpinski space Ω is injective in the category Top of topological spaces, but not in any of...
none3siAvailable online 22 December 2015This paper studies injectivity for continuous maps between T...
Abstract. Algebraic topological methods have been used successfully in con-currency theory, the doma...
We investigate a Galois connection in poset enriched categories between subcategories and classes of...
AbstractWe investigate injective objects with respect to the class of embeddings in the categories T...
The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve asse...
AbstractGiven an injective space D (a continuous lattice endowed with the Scott topology) and a subs...