Relatively terminal coalgebras
From MaRDI portal
Publication:456862
DOI10.1016/J.JPAA.2012.02.026zbMath1266.18002OpenAlexW2040620485MaRDI QIDQ456862
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
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