On final coalgebras of continuous functors

DOI10.1016/S0304-3975(01)00240-7zbMath1028.68078OpenAlexW1988301852MaRDI QIDQ1398459

Jiří Adámek

Publication date: 29 July 2003

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00240-7

zbMATH Keywords

Cauchy completionFinal coalgebraComplete metric spaceContinuous functor

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Categories of machines, automata (18B20)

Related Items (14)

Coinductive predicates and final sequences in a fibration ⋮ On a categorical framework for coalgebraic modal logic ⋮ Nominal Kleene Coalgebra ⋮ On Coalgebras over Algebras ⋮ On coalgebras over algebras ⋮ Algebras, Coalgebras, Monads and Comonads ⋮ Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra ⋮ Realization of Coinductive Types ⋮ On the final sequence of a finitary set functor ⋮ Terminal coalgebras and free iterative theories ⋮ Final coalgebras in accessible categories ⋮ Coinductive predicates and final sequences in a fibration ⋮ Structural operational semantics for continuous state stochastic transition systems ⋮ Coalgebraic Modal Logic Beyond Sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the greatest fixed point of a set functor
• Solving reflexive domain equations in a category of complete metric spaces
• Banach's fixed-point theorem as a base for data-type equations
• Terminal coalgebras in well-founded set theory
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• The Category-Theoretic Solution of Recursive Domain Equations
• On coalgebra of real numbers

This page was built for publication: On final coalgebras of continuous functors