Relatively terminal coalgebras

DOI10.1016/J.JPAA.2012.02.026zbMath1266.18002OpenAlexW2040620485MaRDI QIDQ456862

Jiří Adámek, Věra Trnková

Publication date: 16 October 2012

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2012.02.026

zbMATH Keywords

enriched categoriesterminal coalgebras of accessible functors

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) General theory of categories and functors (18A99)

Related Items (2)

Fixed points of set functors: how many iterations are needed? ⋮ On finitary functors and their presentations

Cites Work

• On the final sequence of a finitary set functor
• Universal coalgebra: A theory of systems
• Terminal coalgebras in well-founded set theory
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• A lattice-theoretical fixpoint theorem and its applications
• Initial algebras and terminal coalgebras in many-sorted sets
• The Category-Theoretic Solution of Recursive Domain Equations
• Accessible Categories: The Foundations of Categorical Model Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Relatively terminal coalgebras