State monads and their algebras

Simple item page
dc.creatorMetayer, Francois
dc.date2004-07-14
dc.date.accessioned2026-07-07T05:10:19Z
dc.date.available2026-07-07T05:10:19Z
dc.descriptionState 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.
dc.description16 pages, XYpic diagrams
dc.identifierhttps://arxiv.org/abs/math/0407251
dc.identifierhttp://arxiv.org/abs/math/0407251
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/71891
dc.subjectCategory Theory
dc.subject18C20; 68N18
dc.titleState monads and their algebras
dc.typetext

Files

Collections

arXiv