A general final coalgebra theorem

DOI10.1017/S0960129505004731zbMath1080.18004OpenAlexW2053255211MaRDI QIDQ5462661

Stefan Milius, Jiří Adámek, 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)

Related Items (2)

Relation lifting, a survey ⋮ Coalgebraic Geometric Logic: Basic Theory

Uses Software

• Unnamed Item

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