Free iterative theories: a coalgebraic view

DOI10.1017/S0960129502003924MaRDI QIDQ4408807zbMATH OpenFDO

Authors Jiří Adámek, Stefan Milius, Jiří Velebil

Publication date 13 October 2003

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129502003924

zbMATH Keywords

coalgebrafree iterative algebraic theoryKleisli triplelocally finitely presentable categorymonadsystem of equations

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Accessible and locally presentable categories (18C35)

Recommendations

• Terminal coalgebras and free iterative theories
• Free Modal Algebras: A Coalgebraic Perspective
• Infinite trees and completely iterative theories: A coalgebraic view
• On a description of terminal coalgebras and iterative theories
• Free-algebra functors from a coalgebraic perspective
• On rational monads and free iterative theories
• A coalgebraic view of infinite trees and iteration
• Cofree coalgebras and differential linear logic
• Cofree coalgebras
• The construction of cofree coalgebras

Cited in

(23)

• Completely iterative algebras and completely iterative monads
• A categorical framework for learning generalised tree automata
• A new foundation for finitary corecursion and iterative algebras
• Algebras with parametrized iterativity
• Recursive coalgebras from comonads
• Terminal coalgebras and free iterative theories
• Rational operational models
• The coinductive resumption monad
• Coalgebraic monads
• On rational monads and free iterative theories
• On iteratable endofunctors
• From iterative algebras to iterative theories (extended abstract)
• Iterative algebras for a base
• Iterative algebras at work
• Solving Algebraic Equations Using Coalgebra
• Generalizing Substitution
• Coproducts of Ideal Monads
• A coalgebraic view of infinite trees and iteration
• Finiteness and rational sequences, constructively
• Constructing initial algebras using inflationary iteration
• Checking equivalence of corecursive streams: an inductive procedure
• Explicit substitutions and higher-order syntax
• The category-theoretic solution of recursive program schemes

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4408807)