Observational ultraproducts of polynomial coalgebras.
DOI10.1016/S0168-0072(03)00038-1zbMath1037.03034MaRDI QIDQ1408860
Publication date: 25 September 2003
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
coalgebrasequational logicmodel theorybisimulationtransition systemsultraproductspolynomial functorsdata typesobservational elements
Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical semantics of formal languages (18C50) Equational classes, universal algebra in model theory (03C05) Ultraproducts and related constructions (03C20)
Related Items (2)
Cites Work
- Structural induction and coinduction in a fibrational setting
- Model theory
- Universal coalgebra: A theory of systems
- Quasiprimitive subcategories
- Algebraic laws for nondeterminism and concurrency
- 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.
- An approach to object semantics based on terminal co-algebras
- From Varieties of Algebras to Covarieties of Coalgebras
- A final coalgebra theorem
- Mongruences and cofree coalgebras
- Identities in Categories
- What is the coalgebraic analogue of Birkhoff's variety theorem?
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Observational ultraproducts of polynomial coalgebras.
