Categorical properties of iterated power
In [2], the class of the Lawson monads was introduced which contains sufficiently wide class of monads and have a functional representation. Unfortunately, the powers monads are not in this class. We introduce in this paper the iterated power monad and show that it is a Lawson monad.
- Autores:
-
Radul, Taras
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2001
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/43772
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/43772
http://bdigital.unal.edu.co/33870/
- Palabra clave:
- Lawson monad
iterated product
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | In [2], the class of the Lawson monads was introduced which contains sufficiently wide class of monads and have a functional representation. Unfortunately, the powers monads are not in this class. We introduce in this paper the iterated power monad and show that it is a Lawson monad. |
|---|