%0 Journal Article
%@ 0324-721X
%A Labella, Anna
%A De Nicola, Rocco
%D 2017
%F eprints:3952
%I Institute of Informatics, University of Szeged
%J Acta Cybernetica
%N 1
%P 191-201
%T Initial Algebra for a System of Right-Linear Functors
%U http://eprints.imtlucca.it/3952/
%V 23
%X 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.
%Z SCOPUS ID: 2-s2.0-85020128814