Equational properties of iterative monads
type: Item
instance of: scholarly article
title: Equational properties of iterative monads
zbMATH Open document ID: 1234.68271
author: Jiří Adámek
author: Stefan Milius
author: Jiří Velebil
published in: Information and Computation
publication date: 2011-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 18C50
zbMATH DE Number: 5836746
zbMATH Keywords: iterative monad
zbMATH Keywords: iteration monad
zbMATH Keywords: Elgot monad
zbMATH Keywords: extensive category
MaRDI profile type: Publication
full work available at URL: j.ic.2009.10.006
OpenAlex ID: W2094845618
cites work: A Coalgebraic View of Infinite Trees and Iteration
cites work: Infinite trees and completely iterative theories: A coalgebraic view
cites work: Q5454623
cites work: Iterative algebras at work
cites work: What Are Iteration Theories?
cites work: Iterative reflections of monads
cites work: Elgot theories: a new perspective of iteration theories (extended abstract)
cites work: Q4293501
cites work: Coequalizers and free triples
cites work: Equational axioms for regular sets
cites work: Introduction to extensive and distributive categories
cites work: A Perspective View of Discrete Automata and Their Design
cites work: On the algebraic structure of rooted trees
cites work: Axiomatizing iteration categories
cites work: Lokal präsentierbare Kategorien. (Locally presentable categories)
cites work: Algebras, Coalgebras, Monads and Comonads
cites work: Regular trees and the free iterative theory
cites work: Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
cites work: Q4215784
cites work: Completely iterative algebras and completely iterative monads
cites work: Parametric corecursion
cites work: Recursion and corecursion have the same equational logic
cites work: Iterative algebras
cites work: Unique fixed points vs. least fixed points
cites work: On the final sequence of a finitary set functor
DOI: 10.1016/J.IC.2009.10.006
Recommended article: Q4499236
Recommended article: Iterative reflections of monads
Recommended article: Q3312219
Recommended article: Equational presentations of functors and monads
Recommended article: A Description of Iterative Reflections of Monads (Extended Abstract)
Recommended article: Completely iterative algebras and completely iterative monads
Recommended article: Q4091917
Recommended article: An equational notion of lifting monad
Recommended article: On second-order iterative monads
Recommended article: Some remarks on finitary and iterative monads
description: scientific article; zbMATH DE number 5836746