Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- 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
- Appendix A Functors with Initial Algebras or Terminal Coalgebras
- Appendix B A Primer on Fixed Points in Ordered and Metric Structures
- Appendix C Set Functors
- References
- List of Categories
- Index
1 - Introduction
Published online by Cambridge University Press: 30 January 2025
- Frontmatter
- Dedication
- Contents
- Preface
- 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
- Appendix A Functors with Initial Algebras or Terminal Coalgebras
- Appendix B A Primer on Fixed Points in Ordered and Metric Structures
- Appendix C Set Functors
- References
- List of Categories
- Index
Summary
We motivate the book based on categorical formulations of recursion and induction. We also discuss the background that readers should have and preview many of the topics in the book.
- Type
- Chapter
- Information
- Initial Algebras and Terminal CoalgebrasThe Theory of Fixed Points of Functors, pp. 1 - 11Publisher: Cambridge University PressPrint publication year: 2025