A general final coalgebra theorem

DOI10.1017/S0960129505004731MaRDI QIDQ5462661zbMATH OpenOpenAlexFDO

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

Publication date 3 August 2005

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

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

zbMATH Keywords

coalgebra theorem

Mathematics Subject Classification ID

Accessible and locally presentable categories (18C35)

Recommendations

• Final coalgebras and a solution theorem for arbitrary endofunctors
• A final coalgebra theorem
• Logical construction of final coalgebras
• On the final sequence of a finitary set functor
• Final coalgebras in accessible categories

Cited in

(21)

• On coalgebra based on classes
• Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies
• Terminal coalgebras in well-founded set theory
• Final coalgebras and the Hennessy-Milner property
• Final coalgebras and a solution theorem for arbitrary endofunctors
• Logical construction of final coalgebras
• On coalgebras over algebras
• Relation lifting, a survey
• Final coalgebras in accessible categories
• Fixed Points as Equations and Solutions
• scientific article; zbMATH DE number 5703592 (Why is no real title available?)
• Generalizing Substitution
• scientific article; zbMATH DE number 1497878 (Why is no real title available?)
• Final Coalgebras are Ideal Completions of Initial Algebras
• Coalgebraic Geometric Logic: Basic Theory
• A final coalgebra theorem
• Models of non-well-founded sets via an indexed final coalgebra theorem
• On the final sequence of a finitary set functor
• A structural co-induction theorem
• A concrete final coalgebra theorem for ZF set theory
• On coalgebras over algebras

Describes a project that uses

Uses Software

• LASS

This page was built for publication: A general final coalgebra theorem

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