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
Appendix C - Set Functors
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
A set functor is an endofunctor on the category of sets. Although the topic of set functors is quite large, there are few if any chapter-length summaries directed to a researcher in the area of this book. This appendix collects the results on set functors that such a person ought to know, including the main preservation properties, such as preservation of weak pullbacks and of finite intersections. It contains the main examples of set functors used in the recent literature and a chart of their preservation properties. Studying monoid-valued functors, it connects the preservation properties of the functor to algebraic properties of the monoid. It presents Trnkova’s modification of a set functor at the empty set needed to obtain a functor preserving all finite intersections.
Keywords
- Type
- Chapter
- Information
- Initial Algebras and Terminal CoalgebrasThe Theory of Fixed Points of Functors, pp. 552 - 597Publisher: Cambridge University PressPrint publication year: 2025