Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/43899
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hofmann, Dirk | - |
dc.contributor.author | Sousa, Lurdes | - |
dc.date.accessioned | 2017-10-13T09:02:24Z | - |
dc.date.available | 2017-10-13T09:02:24Z | - |
dc.date.issued | 2017 | - |
dc.identifier.uri | https://hdl.handle.net/10316/43899 | - |
dc.description.abstract | 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. | por |
dc.language.iso | eng | por |
dc.publisher | Logical Methods in Computer Science e. V. | por |
dc.relation | info:eu-repo/grantAgreement/FCT/5876/147205/PT | por |
dc.rights | openAccess | por |
dc.title | Aspects of Algebraic Algebras | por |
dc.type | article | - |
degois.publication.firstPage | 1 | por |
degois.publication.lastPage | 25 | por |
degois.publication.title | Logical Methods in Computer Science | por |
dc.relation.publisherversion | https://arxiv.org/pdf/1701.03778.pdf | por |
dc.peerreviewed | yes | por |
dc.identifier.doi | 10.23638/LMCS-13(3:4)2017 | por |
degois.publication.volume | 13 | por |
item.languageiso639-1 | en | - |
item.grantfulltext | open | - |
item.fulltext | Com Texto completo | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | article | - |
item.cerifentitytype | Publications | - |
crisitem.author.orcid | 0000-0003-0100-1673 | - |
Appears in Collections: | I&D CMUC - Artigos em Revistas Internacionais |
SCOPUSTM
Citations
2
checked on Sep 9, 2024
WEB OF SCIENCETM
Citations
10
2
checked on Sep 2, 2024
Page view(s) 50
424
checked on Sep 10, 2024
Download(s)
135
checked on Sep 10, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.