Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/43887
Título: | Kan injectivity in order-enriched categories | Autor: | Adamek, Jíri Sousa, Lurdes Velebil, Jirí |
Data: | 2015 | Editora: | Cambridge University Press | Projeto: | info:eu-repo/grantAgreement/FCT/COMPETE/132981/PT | Título da revista, periódico, livro ou evento: | Mathematical Structures in Computer Science | Volume: | 25 | Número: | 01 | Resumo: | 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: | https://hdl.handle.net/10316/43887 | DOI: | 10.1017/S0960129514000024 10.1017/S0960129514000024 |
Direitos: | embargoedAccess |
Aparece nas coleções: | I&D CMUC - Artigos em Revistas Internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
kan_inj_2013_11_23.pdf | 237.84 kB | Adobe PDF | Ver/Abrir |
Citações SCOPUSTM
13
Visto em 15/abr/2024
Citações WEB OF SCIENCETM
10
12
Visto em 2/abr/2024
Visualizações de página 50
391
Visto em 16/abr/2024
Downloads
187
Visto em 16/abr/2024
Google ScholarTM
Verificar
Altmetric
Altmetric
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.