Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/43899
Título: | Aspects of Algebraic Algebras | Autor: | Hofmann, Dirk Sousa, Lurdes |
Data: | 2017 | Editora: | Logical Methods in Computer Science e. V. | Projeto: | info:eu-repo/grantAgreement/FCT/5876/147205/PT | Título da revista, periódico, livro ou evento: | Logical Methods in Computer Science | Volume: | 13 | Resumo: | In this paper we investigate important categories lying strictly between the Kleisli category and the Eilenberg–Moore category, for a Kock-Zöberlein monad on an order-enriched category. Firstly, we give a characterisation of free algebras in the spirit of domain theory. Secondly, we study the existence of weighted (co)limits, both on the abstract level and for specific categories of domain theory like the category of algebraic lattices. Finally, we apply these results to give a description of the idempotent split completion of the Kleisli category of the filter monad on the category of topological spaces. | URI: | https://hdl.handle.net/10316/43899 | DOI: | 10.23638/LMCS-13(3:4)2017 | Direitos: | openAccess |
Aparece nas coleções: | I&D CMUC - Artigos em Revistas Internacionais |
Mostrar registo em formato completo
Citações SCOPUSTM
2
Visto em 9/set/2024
Citações WEB OF SCIENCETM
10
2
Visto em 2/set/2024
Visualizações de página 50
424
Visto em 10/set/2024
Downloads
135
Visto em 10/set/2024
Google ScholarTM
Verificar
Altmetric
Altmetric
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.