Free iterative theories: a coalgebraic view
From MaRDI portal
Publication:4408807
DOI10.1017/S0960129502003924zbMath1030.18004MaRDI QIDQ4408807
Jiří Velebil, Stefan Milius, Jiří Adámek
Publication date: 13 October 2003
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
coalgebralocally finitely presentable categorymonadsystem of equationsKleisli triplefree iterative algebraic theory
Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
Rational operational models, The coinductive resumption monad, Explicit substitutions and higher-order syntax, The category-theoretic solution of recursive program schemes, Finiteness and rational sequences, constructively, Algebras with parametrized iterativity, Coproducts of Ideal Monads, Completely iterative algebras and completely iterative monads, Recursive coalgebras from comonads, Terminal coalgebras and free iterative theories, Solving Algebraic Equations Using Coalgebra, Generalizing Substitution, Coalgebraic Monads, A categorical framework for learning generalised tree automata
