Final coalgebras in accessible categories

DOI10.1017/S0960129511000351zbMath1258.18002arXiv0905.4883OpenAlexW2150565919MaRDI 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

zbMATH Keywords

coalgebrasaccessible categoriesfinitary endofunctorgeneralized modules and complexes

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Chain complexes (category-theoretic aspects), dg categories (18G35) Accessible and locally presentable categories (18C35) Homological algebra in category theory, derived categories and functors (18G99)

Related Items (1)

A general theory of self-similarity

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

This page was built for publication: Final coalgebras in accessible categories