TY - JOUR Y1 - 2017/// IS - 1 A1 - Labella Anna A1 - Nicola Rocco de ID - acta50070 UR - http://acta.bibl.u-szeged.hu/50070/ KW - Algebra KW - Lineáris függvények SP - 191 JF - Acta cybernetica VL - 23 N1 - Bibliogr.: 201. p. és a lábjegyzetekben ; összefoglalás angol nyelven AV - public SN - 0324-721X CY - Szeged N2 - 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. TI - Initial algebra for a system of right-linear functors EP - 201 ER -