On functors preserving coproducts and algebras with iterativity

DOI10.1016/j.tcs.2019.01.018zbMath1423.18005OpenAlexW2911931782WikidataQ128526942 ScholiaQ128526942MaRDI QIDQ1727997

Jiří Adámek, Stefan Milius

Publication date: 21 February 2019

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2019.01.018

zbMATH Keywords

free algebraterminal coalgebracorecursive algebrahyper-extensive category

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Special properties of functors (faithful, full, etc.) (18A22)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterative algebras
• Unique fixed points vs. least fixed points
• Introduction to extensive and distributive categories
• Foundations of system theory: Decomposable systems
• Infinite trees and completely iterative theories: A coalgebraic view
• Completely iterative algebras and completely iterative monads
• On tree coalgebras and coalgebra presentations
• Terminal coalgebras and free iterative theories
• A fixpoint theorem for complete categories
• Corecursive Algebras, Corecursive Monads and Bloom Monads
• Corecursive Algebras: A Study of General Structured Corecursion
• On Corecursive Algebras for Functors Preserving Coproducts.
• Elgot Algebras

This page was built for publication: On functors preserving coproducts and algebras with iterativity