Hofmann, Dirk and Sousa, Lurdes - Aspects of algebraic Algebras

lmcs:3782 - Logical Methods in Computer Science, July 10, 2017, Volume 13, Issue 3
Aspects of algebraic Algebras

Authors: Hofmann, Dirk and Sousa, Lurdes

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.


Source : oai:arXiv.org:1701.03778
DOI : 10.23638/LMCS-13(3:4)2017
Volume: Volume 13, Issue 3
Published on: July 10, 2017
Submitted on: July 10, 2017
Keywords: Mathematics - Category Theory,06B23, 06B35, 18A35, 18A40, 18B30, 18C20, 18D20


Share

Browsing statistics

This page has been seen 64 times.
This article's PDF has been downloaded 23 times.