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
9 - State Minimality and Well-Pointed Coalgebras
Published online by Cambridge University Press: 30 January 2025
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
Summary
This chapter presents simple and reachable coalgebras and constructions of the simple quotient of a coalgebra and the reachable part of a pointed one. It introduces well-pointed coalgebras: those which are both reachable and simple. Well-pointed coalgebras constitute a coalgebraic formulation of minimality of state-based systems. For set functors preserving intersections, we prove that the terminal coalgebra is formed by all well-pointed coalgebras, and the initial algebra by all well-founded, well-pointed coalgebras (both considered up to isomorphism) with canonical structures.
- Type
- Chapter
- Information
- Initial Algebras and Terminal CoalgebrasThe Theory of Fixed Points of Functors, pp. 293 - 318Publisher: Cambridge University PressPrint publication year: 2025