Infinite trees and completely iterative theories: A coalgebraic view
type: Item
instance of: scholarly article
title: Infinite trees and completely iterative theories: A coalgebraic view
zbMATH Open document ID: 1028.68077
DOI: 10.1016/S0304-3975(02)00728-4
author: Peter Aczel
author: Jiří Adámek
author: Stefan Milius
author: Jiří Velebil
published in: Theoretical Computer Science
publication date: 2003-07-30T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 18B20
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 18C20
Mathematics Subject Classification ID: 18D10
zbMATH DE Number: 1957320
zbMATH Keywords: completely iterative theory
zbMATH Keywords: monad
zbMATH Keywords: coalgebra
zbMATH Keywords: Solution Theorem
zbMATH Keywords: monoidal category
MaRDI profile type: Publication
cites work: Q3992552
cites work: A Coalgebraic View of Infinite Trees and Iteration
cites work: Q4044767
cites work: On the greatest fixed point of a set functor
cites work: From Varieties of Algebras to Covarieties of Coalgebras
cites work: Banach's fixed-point theorem as a base for data-type equations
cites work: Q4293501
cites work: Q3996444
cites work: Solving reflexive domain equations in a category of complete metric spaces
cites work: Terminal coalgebras in well-founded set theory
cites work: Q3993251
cites work: Q4717366
cites work: Equational axioms for regular sets
cites work: A Perspective View of Discrete Automata and Their Design
cites work: On the algebraic structure of rooted trees
cites work: Algebras, Coalgebras, Monads and Comonads
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Q3852172
cites work: A fixpoint theorem for complete categories
cites work: Q5599205
cites work: Accessible Categories: The Foundations of Categorical Model Theory
cites work: On iteratable endofunctors
cites work: Parametric corecursion
cites work: Q4261094
cites work: The Category-Theoretic Solution of Recursive Domain Equations
cites work: Unique fixed points vs. least fixed points
full work available at URL: s0304-3975(02)00728-4
OpenAlex ID: W1998546360
description: scientific article; zbMATH DE number 1957320