Please use this identifier to cite or link to this item: https://hdl.handle.net/10316/43899
DC FieldValueLanguage
dc.contributor.authorHofmann, Dirk-
dc.contributor.authorSousa, Lurdes-
dc.date.accessioned2017-10-13T09:02:24Z-
dc.date.available2017-10-13T09:02:24Z-
dc.date.issued2017-
dc.identifier.urihttps://hdl.handle.net/10316/43899-
dc.description.abstractIn 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.isoengpor
dc.publisherLogical Methods in Computer Science e. V.por
dc.relationinfo:eu-repo/grantAgreement/FCT/5876/147205/PTpor
dc.rightsopenAccesspor
dc.titleAspects of Algebraic Algebraspor
dc.typearticle-
degois.publication.firstPage1por
degois.publication.lastPage25por
degois.publication.titleLogical Methods in Computer Sciencepor
dc.relation.publisherversionhttps://arxiv.org/pdf/1701.03778.pdfpor
dc.peerreviewedyespor
dc.identifier.doi10.23638/LMCS-13(3:4)2017por
degois.publication.volume13por
item.languageiso639-1en-
item.grantfulltextopen-
item.fulltextCom Texto completo-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypearticle-
item.cerifentitytypePublications-
crisitem.author.orcid0000-0003-0100-1673-
Appears in Collections:I&D CMUC - Artigos em Revistas Internacionais
Files in This Item:
File Description SizeFormat
AAA.pdf197.14 kBAdobe PDFView/Open
Show simple item record

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.