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  -