Aspects of algebraic algebras
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 th...
Autor principal: | |
---|---|
Outros Autores: | |
Formato: | article |
Idioma: | eng |
Publicado em: |
2017
|
Assuntos: | |
Texto completo: | http://hdl.handle.net/10773/18668 |
País: | Portugal |
Oai: | oai:ria.ua.pt:10773/18668 |