Presentation of Set Functors: A Coalgebraic Perspective
Jakub Adamek, H. Peter Gumm, Věra Trnková · Journal of Logic and Computation · 2009
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 re ected in the structure of the system of equations.