Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
Contenu
This definitive treatment of results in category theory and theoretical computer science covers classical material from new viewpoints and develops a wealth of new topics. The centrepiece is a collection of existence theorems for initial algebras and terminal coalgebras. It will be the standard reference for years to come.
Informations bibliographiques
février 2025, Cambridge Tracts in Theoretical Computer Science, Anglais
Cambridge Academic
978-1-108-83546-6