Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors

by Jirí Adámek, Stefan Milius, Lawrence S. Moss

Providing an in-depth treatment of an exciting research area, this text's central topics are initial algebras and terminal coalgebras, primary objects of study in all areas of theoretical computer science connected to semantics. It contains a thorough presentation of iterative constructions, giving both classical and new results on terminal coalgebras obtained by limits of canonical chains, and initial algebras obtained by colimits. These constructions...

• Format: Hardcover
• Language: English
• ISBN: 1108835465
• ISBN13: 9781108835466
• Release Date: February 2025
• Publisher: Cambridge University Press
• Length: 640 Pages