State monads and their algebras
Métayer, François
HAL, hal-00148695 / Harvested from HAL
Text on HAL
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.
Publié le : 2004-07-14
Classification:  [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT] 
@article{hal-00148695,
     author = {M\'etayer, Fran\c cois},
     title = {State monads and their algebras},
     journal = {HAL},
     volume = {2004},
     number = {0},
     year = {2004},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00148695}
}

Métayer, François. State monads and their algebras. HAL, Tome 2004 (2004) no. 0, . http://gdmltest.u-ga.fr/item/hal-00148695/