Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/89419
Título: | Lax orthogonal factorisations in monad-quantale-enriched categories | Autor: | Clementino, Maria Manuel López-Franco, Ignacio |
Data: | Set-2017 | Editora: | Logical Methods in Computer Science | Projeto: | CMUC-UID/MAT/00324/2013 | Título da revista, periódico, livro ou evento: | Logical Methods in Computer Science | Volume: | 13 | Número: | 3 | Resumo: | We show that, for a quantale V and a Set-monad T laxly extended to V-Rel, the presheaf monad on the category of (T,V)-categories is simple, giving rise to a lax orthogonal factorisation system (lofs) whose corresponding weak factorisation system has embeddings as left part. In addition, we present presheaf submonads and study the LOFSs they define. This provides a method of constructing weak factorisation systems on some well-known examples of topological categories over Set. | URI: | https://hdl.handle.net/10316/89419 | ISSN: | 1860-5974 | DOI: | doi.org/10.23638/LMCS-13(3:32)2017 | Direitos: | openAccess |
Aparece nas coleções: | I&D CMUC - Artigos em Revistas Internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
1701.05510_revised.pdf | 380.86 kB | Adobe PDF | Ver/Abrir |
Visualizações de página
116
Visto em 2/out/2024
Downloads
81
Visto em 2/out/2024
Google ScholarTM
Verificar
Altmetric
Altmetric
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.