State monads and their algebras
Francois Metayer
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.
Create a lesson
Related papers
How to prove equations using diagrams: A categorical and operational semantics for e-graphs
Evan Patterson
A topological Mundici representation theorem
Yifan Meng, Lili Shen, Dexue Zhang
The tensor triangular geometry of valuation domains
Tobias Barthel, Drew Heard, Beren Sanders et al.
Localisations of rings of weak global dimension at most one
Jan Šťovíček, Florian Tecklenburg
Higher zeroes in pointed infinity-categories
Thomas Rush Brown
Higher-order many-sorted categorial algebras via generalized hep-derivors
J. Climent Vidal, E. Cosme Llópez, R. Ruiz Mora et al.