State monads and their algebras
classification
🧮 math.CT
keywords
algebrasexponentialmonadsstateadjunctionbasecartesiancategories
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.