Please use this identifier to cite or link to this item: http://hdl.handle.net/10316/43887
Title: Kan injectivity in order-enriched categories
Authors: Adamek, Jiri 
Sousa, Lurdes 
Velebil, Jiri 
Issue Date: 2015
Publisher: Cambridge University Press
Issue Date: 2015
Publisher: Cambridge University Press
Project: info:eu-repo/grantAgreement/FCT/COMPETE/132981/PT 
Abstract: Continuous lattices were characterised by Martín Escardó as precisely those objects that are Kan-injective with respect to a certain class of morphisms. In this paper we study Kan-injectivity in general categories enriched in posets. As an example, ω-CPO's are precisely the posets that are Kan-injective with respect to the embeddings ω ↪ ω + 1 and 0 ↪ 1. For every class H of morphisms, we study the subcategory of all objects that are Kan-injective with respect to H and all morphisms preserving Kan extensions. For categories such as Top_0 and Pos, we prove that whenever H is a set of morphisms, the above subcategory is monadic, and the monad it creates is a Kock–Zöberlein monad. However, this does not generalise to proper classes, and we present a class of continuous mappings in Top_0 for which Kan-injectivity does not yield a monadic category.
URI: http://hdl.handle.net/10316/43887
Other Identifiers: 10.1017/S0960129514000024
DOI: 10.1017/S0960129514000024
Rights: embargoedAccess
Appears in Collections:I&D CMUC - Artigos em Revistas Internacionais

Files in This Item:
File Description SizeFormat
kan_inj_2013_11_23.pdf237.84 kBAdobe PDFView/Open
Show full item record

SCOPUSTM   
Citations

7
checked on Jun 25, 2019

WEB OF SCIENCETM
Citations

6
checked on Jun 25, 2019

Page view(s)

207
checked on Aug 20, 2019

Download(s)

41
checked on Aug 20, 2019

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.