Relatively terminal coalgebras
From MaRDI portal
Publication:456862
DOI10.1016/j.jpaa.2012.02.026zbMath1266.18002MaRDI 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
08A70: Applications of universal algebra in computer science
18A35: Categories admitting limits (complete categories), functors preserving limits, completions
18A99: General theory of categories and functors
Related Items
Fixed points of set functors: how many iterations are needed?, On finitary functors and their presentations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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