TY  - JOUR
SP  - 191
AV  - none
EP  - 201
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.
N1  - SCOPUS ID: 2-s2.0-85020128814
IS  - 1
VL  - 23
TI  - Initial Algebra for a System of Right-Linear Functors
A1  - Labella, Anna
A1  - De Nicola, Rocco
ID  - eprints3952
JF  - Acta Cybernetica
SN  - 0324-721X
PB  - Institute of Informatics, University of Szeged
UR  - https://doi.org/10.14232/actacyb.23.1.2017.12
Y1  - 2017///
ER  -