Presentation of Set Functors: A Coalgebraic Perspective

摘要

Accessible set functors can be presented by signatures and equations as quotients of polynomial functors. We determine how preservation of pullbacks and other related properties (often applied in coalgebra) are reflected in the structure of the system of equations.