Equational properties of iterative monads

Iterative monads of Calvin Elgot were introduced to treat the semantics of recursive equations purely algebraically. They are Lawvere theories with the property that all ideal systems of recursive equations have unique solutions. We prove that the unique solutions in iterative monads satisfy all the equational properties of iteration monads of Stephen Bloom and Zolt

• Type: Journal
• Year: 2010
• Where: IANDC
• Authors: Jirí Adámek, Stefan Milius, Jiri Velebil
• Keywords: Business, IANDC 2010, Iteration Monad, Iterative Monad, Recursive Equations