Free iterative theories: a coalgebraic view

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)

zbMATH Keywords

coalgebralocally finitely presentable categorymonadsystem of equationsKleisli triplefree iterative algebraic theory

Mathematics Subject Classification ID

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 (14)

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

This page was built for publication: Free iterative theories: a coalgebraic view