6 citations · 6 across the 1 of their papers we have counts for
1 paper
Francois Metayer
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 t…