Towards coalgebraic behaviourism

DOI10.1016/S1571-0661(04)80365-7zbMath1270.68193MaRDI QIDQ2842558

Dragan Mašulović

Publication date: 15 August 2013

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

zbMATH Keywords

coalgebrafinal coalgebraobservable behaviour

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (1)

A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the greatest fixed point of a set functor
• Algebraically compact functors
• Coalgebraic logic
• Universal coalgebra: A theory of systems
• A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• Final coalgebras as greatest fixed points in ZF set theory
• A final coalgebra theorem

This page was built for publication: Towards coalgebraic behaviourism