Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/18668
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 |
URI: | http://hdl.handle.net/10773/18668 |
DOI: | 10.23638/LMCS-13(3:4)2017 |
ISSN: | 1860-5974 |
Appears in Collections: | CIDMA - Artigos AGG - Artigos DMat - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
algebraic_revised.pdf | Main article | 480.32 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.