Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/43815
Título: | KZ-monadic categories and their logic | Autor: | Adámek, Jiří Sousa, Lurdes |
Data: | 2017 | Editora: | Theory and Applications of Categories | Projeto: | info:eu-repo/grantAgreement/FCT/5876/147205/PT | Título da revista, periódico, livro ou evento: | Theory and Applications of Categories | Volume: | 32 | Resumo: | Given an order-enriched category, it is known that all its KZ-monadic subcategories can be described by Kan-injectivity with respect to a collection of morphisms. We prove the analogous result for Kan-injectivity with respect to a collection H of commutative squares. A square is called a Kan-injective consequence of H if by adding it to H Kan-injectivity is not changed. We present a sound logic for Kan-injectivity consequences and prove that in "reasonable" categories (such as Pos or Top_0) it is also complete for every set H of squares. | URI: | https://hdl.handle.net/10316/43815 | Direitos: | openAccess |
Aparece nas coleções: | I&D CMUC - Artigos em Revistas Internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
PaperAdamekSousa.pdf | 193.79 kB | Adobe PDF | Ver/Abrir |
Visualizações de página 20
677
Visto em 26/mar/2024
Downloads
71
Visto em 26/mar/2024
Google ScholarTM
Verificar
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.