Final coalgebras in accessible categories
From MaRDI portal
Publication:3094168
DOI10.1017/S0960129511000351zbMath1258.18002arXiv0905.4883MaRDI QIDQ3094168
Apostolos Matzaris, Jiří Velebil, Panagis Karazeris
Publication date: 21 October 2011
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0905.4883
03G30: Categorical logic, topoi
18G35: Chain complexes (category-theoretic aspects), dg categories
18C35: Accessible and locally presentable categories
18G99: Homological algebra in category theory, derived categories and functors
Related Items
Cites Work
- On the final sequence of a finitary set functor
- A general theory of self-similarity
- Solving reflexive domain equations in a category of complete metric spaces
- Categories localement multipresentables
- Categories multialgebriques
- Continuous categories and exponentiable toposes
- On the algebraic structure of rooted trees
- On final coalgebras of continuous functors
- Infinite trees and completely iterative theories: A coalgebraic view
- Universal coalgebra: A theory of systems
- The continuum as a final coalgebra
- A classification of accessible categories
- Recursively defined metric spaces without contraction
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Connected components and colimits
- Iterative algebras at work
- Inverse limits of compact spaces
- Accessible Categories: The Foundations of Categorical Model Theory
- Initial Algebra Semantics and Continuous Algebras
- A categorical generalization of Scott domains
- Coalgebraic Modal Logic Beyond Sets
