TY - JOUR
AU - Anna Labella
AU - Rocco de Nicola
PY - 2017/01/01
Y2 - 2022/08/15
TI - Initial algebra for a system of right-linear functors
JF - Acta Cybernetica
JA - Acta Cybern
VL - 23
IS - 1
SE - Regular articles
DO - 10.14232/actacyb.23.1.2017.12
UR - https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3922
AB - In 2003 we showed that right-linear systems of equations over regular expressions, when interpreted in a category of trees, have a solution whenever they enjoy a specific property that we called hierarchicity and that is instrumental to avoid critical mutual recursive definitions. In this note, we prove that a right-linear system of polynomial endofunctors on a cocartesian monoidal closed category which enjoys parameterized left list arithmeticity, has an initial algebra, provided it satisfies a property similar to hierarchicity.
ER -