Order-preserving reflectors and injectivity
type: Item
instance of: scholarly article
title: Order-preserving reflectors and injectivity
zbMATH Open document ID: 1231.18005
author: Margarida Carvalho
author: Lurdes Sousa
published in: Topology and its Applications
publication date: 2011-11-08T00:00:00Z
full work available at URL: http://hdl.handle.net/10316/89486
review text: This paper deals with a special type of injectivity, the right-Kan injectivity. In a poset enriched category \(\mathcal X\), an object \(Z\) is right-Kan injective with respect to a morphism \(f: X\to Y\) if, for every \(g: X\to Z\), there is a morphism \(g/f: Y\to Z\) such that \(g/f\cdot f=g\) and \(g/f\) is the join of all morphisms \(t: Y\to Z\) such that \(tf\leq g\). This concept is also formulable for morphisms: a morphism \(k: Z\to W\) is right-Kan injective with respect to \(f: X\to Y\) if \(Z\) and \(W\) are so and, moreover, \(k(g/f)=(kg)/f\) for all morphisms \(g: X\to Z\). Given a subclass \(\mathcal H\) of morphisms of \(\mathcal X\), the objects and morphisms which are right-Kan injective w.r.t. \(\mathcal H\) form a subcategory of \(\mathcal X\). This establishes a Galois connection between classes of morphisms of \(\mathcal X\) and subcategories of \(\mathcal X\) that is investigated in the present paper (specially its relationship with a special kind of subcategories, the KZ-reflective subcategories). It is shown that many examples of injectivity in poset enriched categories encountered in the literature are closely related to this connection. A useful characterization of KZ-reflective subcategories in a poset enriched category is given. Then it is shown that some KZ-reflective subcategories of the category of \(T_0\)-topological spaces and continuous maps (namely, the category of stably compact spaces and stable continuous maps, the category of continuous lattices and maps which preserve directed joins and meets, and the category of continuous Scott domains and maps which preserve directed joins and non empty meets) are right-Kan injective hulls of finite subcategories.
reviewed by: Jorge Picado
Mathematics Subject Classification ID: 18B30
Mathematics Subject Classification ID: 54B30
Mathematics Subject Classification ID: 18D20
Mathematics Subject Classification ID: 18G05
zbMATH DE Number: 5969491
zbMATH Keywords: \(T_{0}\)-topological space
zbMATH Keywords: frame
zbMATH Keywords: poset enriched category
zbMATH Keywords: injectivity
zbMATH Keywords: Kan extension
zbMATH Keywords: reflective subcategory
zbMATH Keywords: right-Kan injectivity
zbMATH Keywords: Galois connection
zbMATH Keywords: KZ-reflective subcategories
Wikidata QID: Q122964319
MaRDI profile type: Publication
OpenAlex ID: W2058865873
cites work: The orthogonal subcategory problem and the small object argument
cites work: Q5487067
cites work: Projective and supercoherent frames
cites work: Q4304740
cites work: Filter Monads, Continuous Lattices and Closure Systems
cites work: Properly injective spaces and function spaces
cites work: Injective locales over perfect embeddings and algebras of the upper powerlocale monad
cites work: Q4261085
cites work: Categories of continuous functors. I
cites work: Q3898534
cites work: Q3965241
cites work: The Gleason cover of a topos. II
cites work: Monads for which structures are adjoint to units
cites work: Q4839136
cites work: Q4464693
cites work: Q5649639
cites work: A couple of triples
cites work: Stable Compactification I
cites work: Algebraic theories for continuous semilattices
cites work: Q5185227
DOI: 10.1016/J.TOPOL.2010.12.016
description: scientific article; zbMATH DE number 5969491