Presentation of Set Functors: A Coalgebraic Perspective
Journal of Logic and Computation2009Vol. 20(5), pp. 991–1015
Citations Over TimeTop 13% of 2009 papers
Abstract
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.