Please use this identifier to cite or link to this item:
Title: Aspects of algebraic algebras
Author: Hofmann, Dirk
Sousa, Lurdes
Keywords: Kock-Z\"oberlein monad
Filter monad
Continuous lattice
Algebraic lattice
Weighted (co)limit
Idempotent split completion
Issue Date: 10-Jul-2017
Publisher: International Federation of Computational Logic
Abstract: In this paper we investigate important categories lying strictly between the Kleisli category and the Eilenberg--Moore category, for a Kock-Z\"oberlein 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.
Peer review: yes
DOI: 10.23638/LMCS-13(3:4)2017
ISSN: 1860-5974
Appears in Collections:CIDMA - Artigos
AGG - Artigos

Files in This Item:
File Description SizeFormat 
algebraic_revised.pdfMain article480.32 kBAdobe PDFView/Open

Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.