From Varieties of Algebras to Covarieties of Coalgebras

DOI10.1016/S1571-0661(04)80901-0zbMath1260.08004MaRDI QIDQ4917031

Jiří Adámek, Hans-E. Porst

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

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