From Varieties of Algebras to Covarieties of Coalgebras
From MaRDI portal
Publication:4917031
DOI10.1016/S1571-0661(04)80901-0zbMath1260.08004MaRDI QIDQ4917031
Publication date: 26 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Abstract data types; algebraic specification (68Q65) Categories of algebras (08C05) Varieties (08B99) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (14)
On tree coalgebras and coalgebra presentations ⋮ On universal categories of coalgebras ⋮ Infinite trees and completely iterative theories: A coalgebraic view ⋮ Algebras versus coalgebras ⋮ Observational ultraproducts of polynomial coalgebras. ⋮ From Grammars and Automata to Algebras and Coalgebras ⋮ Fuzzy algebras as a framework for fuzzy topology ⋮ On the final sequence of a finitary set functor ⋮ Accessible set functors are universal ⋮ Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors ⋮ Some Co-Birkhoff Type Theorems ⋮ Modal Predicates and Coequations ⋮ Factorization systems and fibrations ⋮ On Iteratable Endofunctors
Cites Work
- On the greatest fixed point of a set functor
- A small final coalgebra theorem
- Terminal coalgebras in well-founded set theory
- Accessible Categories: The Foundations of Categorical Model Theory
- Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott.
- Identities in Categories
- Equational and implicational classes of coalgebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: From Varieties of Algebras to Covarieties of Coalgebras
