 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: hal-00148695, version 1 |
| arXiv: math.CT/0407251 |
| Detailed view |  Export this paper |
 |
|
|
| State monads and their algebras |
|
|
| François Métayer 1 |
|
|
| (2004-07-14) |
|
|
|
| State monads in cartesian closed categories are those defined by the familiar adjunction between product and exponential. We investigate the structure of their algebras, and show that the exponential functor is monadic provided the base category is sufficiently regular, and the exponent is a non-empty object. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Subject | : | Mathematics/Category Theory |
|
|
| Fulltext link: |
|
| http://fr.arXiv.org/abs/math.CT/0407251 |
| hal-00148695, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00148695 | |
| oai:hal.archives-ouvertes.fr:hal-00148695 | |
| From: Francois Metayer | |
| Submitted on: Wednesday, 23 May 2007 09:41:08 | |
| Updated on: Tuesday, 5 June 2007 13:32:12 | |
