eprintid: 3952
rev_number: 6
eprint_status: archive
userid: 69
dir: disk0/00/00/39/52
datestamp: 2018-03-05 16:26:29
lastmod: 2018-03-05 16:26:29
status_changed: 2018-03-05 16:26:29
type: article
metadata_visibility: show
creators_name: Labella, Anna
creators_name: De Nicola, Rocco
creators_id: 
creators_id: r.denicola@imtlucca.it
title: Initial Algebra for a System of Right-Linear Functors
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: SCOPUS ID: 2-s2.0-85020128814
abstract: 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.
date: 2017
date_type: published
publication: Acta Cybernetica
volume: 23
number: 1
publisher: Institute of Informatics, University of Szeged
pagerange: 191-201
id_number: 10.14232/actacyb.23.1.2017.12
refereed: TRUE
issn: 0324-721X
official_url: https://doi.org/10.14232/actacyb.23.1.2017.12
citation:   Labella, Anna and De Nicola, Rocco  Initial Algebra for a System of Right-Linear Functors.  Acta Cybernetica, 23 (1).  pp. 191-201.  ISSN 0324-721X      (2017)