Initial algebra for a system of right-linear functors

DOI10.14232/ACTACYB.23.1.2017.12MaRDI QIDQ5350154zbMATH OpenOpenAlexFDO

Authors Rocco De Nicola, Anna Labella

Publication date 25 August 2017

Published in Acta Cybernetica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.14232/actacyb.23.1.2017.12

zbMATH Keywords

monoidal categoriesregular expressionssystem of functors

Mathematics Subject Classification ID

Categories of machines, automata (18B20)

Recommendations

• Final coalgebras and a solution theorem for arbitrary endofunctors
• Solving Algebraic Equations Using Coalgebra
• Infinite trees and completely iterative theories: A coalgebraic view
• scientific article; zbMATH DE number 2172972
• A coalgebraic view of infinite trees and iteration

This page was built for publication: Initial algebra for a system of right-linear functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5350154)