On functors preserving coproducts and algebras with iterativity
From MaRDI portal
Publication:1727997
DOI10.1016/j.tcs.2019.01.018zbMath1423.18005OpenAlexW2911931782WikidataQ128526942 ScholiaQ128526942MaRDI QIDQ1727997
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
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