Initial Algebras and Terminal Coalgebras
-10%
portes grátis
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
Milius, Stefan; Adamek, Jiri; Moss, Lawrence S.
Cambridge University Press
02/2025
640
Dura
9781108835466
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
1. Introduction; 2. Algebras and coalgebras; 3. Finitary iteration; 4. Finitary set functors; 5. Finitary iteration in enriched settings; 6. Transfinite iteration; 7. Terminal coalgebras as algebras, initial algebras as coalgebras; 8. Well-founded coalgebras; 9. State minimality and well-pointed coalgebras; 10. Fixed points determined by finite behaviour; 11. Sufficient conditions for initial algebras and terminal coalgebras; 12. Liftings and extensions from Set; 13. Interaction between initial algebras and terminal coalgebras; 14. Derived functors; 15. Special topics; A. Functors with initial algebras or terminal coalgebras; B. A primer on fixed points in ordered and metric structures; C. Set functors; References; Index of categories; Subject index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
1. Introduction; 2. Algebras and coalgebras; 3. Finitary iteration; 4. Finitary set functors; 5. Finitary iteration in enriched settings; 6. Transfinite iteration; 7. Terminal coalgebras as algebras, initial algebras as coalgebras; 8. Well-founded coalgebras; 9. State minimality and well-pointed coalgebras; 10. Fixed points determined by finite behaviour; 11. Sufficient conditions for initial algebras and terminal coalgebras; 12. Liftings and extensions from Set; 13. Interaction between initial algebras and terminal coalgebras; 14. Derived functors; 15. Special topics; A. Functors with initial algebras or terminal coalgebras; B. A primer on fixed points in ordered and metric structures; C. Set functors; References; Index of categories; Subject index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.