Iterative reflections of monads

@article{Admek2010IterativeRO,
  title={Iterative reflections of monads},
  author={Jir{\'i} Ad{\'a}mek and Stefan Milius and Jiri Velebil},
  journal={Mathematical Structures in Computer Science},
  year={2010},
  volume={20},
  pages={419 - 452}
}
Iterative monads were introduced by Calvin Elgot in the 1970's and are those ideal monads in which every guarded system of recursive equations has a unique solution. We prove that every ideal monad has an iterative reflection, that is, an embedding into an iterative monad with the expected universal property. We also introduce the concept of iterativity for algebras for the monad , following in the footsteps of Evelyn Nelson and Jerzy Tiuryn, and prove that is iterative if and only if all free… 
A Description of Iterative Reflections of Monads (Extended Abstract)
TLDR
This paper proves that the monad of free commutative binary algebras is iterative in the sense of Calvin Elgot, and shows how to freely add unique solutions of recursive equations to a given algebraic theory.
How iterative reflections of monads are constructed
On second-order iterative monads
Completely iterative monads in semantics of coinductive programs
TLDR
The thesis of this dissertation is that the right kind of monads to describe the observable behaviour of programs are completely iterative monads (cims), introduced by Elgot and more recently studied by Adamek and others.
Elgot theories: a new perspective on the equational properties of iteration
TLDR
This paper shows that in the coalgebraic approach to iteration, the more appropriate concept is that of a functorial iteration theory (called Elgot theory), which is proved to be monadic over the category of sets in context.

References

SHOWING 1-10 OF 26 REFERENCES
A DESCRIPTION OF ITERATIVE REFLECTIONS OF MONADS
For ideal monads in Set (e. g. the nite list monad, the nite bag monad etc.) we have recently proved that every set generates a free iterative algebra. This gives rise to a new monad. We prove now
A Description of Iterative Reflections of Monads (Extended Abstract)
TLDR
This paper proves that the monad of free commutative binary algebras is iterative in the sense of Calvin Elgot, and shows how to freely add unique solutions of recursive equations to a given algebraic theory.
Iterative algebras at work
TLDR
This paper shows that by starting with ‘iterative algebras’, that is, algeBRas admitting a unique solution of all systems of flat recursive equations, a free iterative theory is obtained as the theory of free iteratives alge bras.
Terms and Infinite Trees as Monads Over a Signature
In this paper, we prove that the usual construction of terms and infinite trees over a signature is a particular case of a more general construction of monads over the category of sets. In this way,
Terminal coalgebras and free iterative theories
Monadic Computation And Iterative Algebraic Theories
The notion algebraic theory was introduced by Lawvere in 1963 (cf. S. Eilenberg and J. B. Wright, Automata in general algebras, Information and Control 11 (1967) 4) to study equationally definable
Semantics of Higher-Order Recursion Schemes
TLDR
It is concluded that every guarded higher-order recursion scheme has a unique uninterpreted solution in this monoid.
Regular Trees and the Free Iterative Theory
Iteration Theories: The Equational Logic of Iterative Processes
Written both for graduate students and research scientists in theoretical computer science and mathematics, this book provides a detailed investigation of the properties of the fixed point or
...
...