From algebras and coalgebras to dialgebras

DOI10.1016/S1571-0661(04)80915-0MaRDI QIDQ4917045zbMATH OpenFDO

Authors Erik Poll, Jan Zwanenburg

Publication date 26 April 2013

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

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80915-0

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20) Abstract data types; algebraic specification (68Q65)

Recommendations

• Universal dialgebra: unifying universal algebra and coalgebra
• Dialgebras
• Dialgebra cohomology as a G-algebra
• scientific article; zbMATH DE number 1644416
• A categorical approach to algebras and coalgebras

Cites work

• An approach to object semantics based on terminal co-algebras
• Behavioural and abstractor specifications
• scientific article; zbMATH DE number 4047683 (Why is no real title available?)
• scientific article; zbMATH DE number 1314231 (Why is no real title available?)
• scientific article; zbMATH DE number 1342287 (Why is no real title available?)
• scientific article; zbMATH DE number 512792 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1497871 (Why is no real title available?)
• scientific article; zbMATH DE number 1497873 (Why is no real title available?)
• scientific article; zbMATH DE number 1497880 (Why is no real title available?)
• scientific article; zbMATH DE number 1512614 (Why is no real title available?)
• scientific article; zbMATH DE number 1368951 (Why is no real title available?)
• scientific article; zbMATH DE number 1391399 (Why is no real title available?)
• scientific article; zbMATH DE number 1424058 (Why is no real title available?)
• On behavioural abstraction and behavioural satisfaction in higher-order logic
• The coalgebraic class specification language CCSL
• Universal coalgebra: A theory of systems

Cited in

(13)

• scientific article; zbMATH DE number 1617306 (Why is no real title available?)
• scientific article; zbMATH DE number 1644417 (Why is no real title available?)
• Coalgebras for binary methods: Properties of bisimulations and invariants
• Abstract logics as dialgebras
• Greatest bisimulations for binary methods
• Universal dialgebra: unifying universal algebra and coalgebra
• Two extensions of System F with (co)iteration and primitive (co)recursion principles
• A coalgebraic perspective on logical interpretations
• scientific article; zbMATH DE number 4000184 (Why is no real title available?)
• Modal operators for coequations
• Final Dialgebras: From Categories to Allegories
• Modal meet-implication logic
• φ-Dialgebras and a Class of Matrix “Coquecigrues”

Describes a project that uses

Uses Software

• CCSL

This page was built for publication: From algebras and coalgebras to dialgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4917045)