Final Coalgebras from Corecursive Algebras.

DOI10.4230/LIPIcs.CALCO.2015.221zbMath1366.03244OpenAlexW2278026657MaRDI QIDQ5275353

Paul Blain Levy

Publication date: 11 July 2017

Full work available at URL: https://www.cs.bham.ac.uk/~pbl/papers/finalmodal.pdf

zbMATH Keywords

modal logiccoalgebrabisimulationcategory theoryfactorization system

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Related Items (3)

Preservation and reflection of bisimilarity via invertible steps ⋮ Coalgebraic logics \& duality ⋮ Steps and traces

This page was built for publication: Final Coalgebras from Corecursive Algebras.