Tensors of Comodels and Models for Operational Semantics

Gordon Plotkin, A. J. Power

Research output: Contribution to journalArticlepeer-review


In seeking a unified study of computational effects, one must take account of the coalgebraic structure of state in order to give a general operational semantics agreeing with the standard one for state. Axiomatically, one needs a countable Lawvere theory L, a comodel C, typically the final one, and a model M, typically free; one then seeks a tensor C⊗M of the comodel with the model that allows operations to flow between the two. We describe such a tensor implicit in the abstract category theoretic literature, explain its significance for computational effects, and calculate it in leading classes of examples, primarily involving state.
Original languageEnglish
Pages (from-to)295-311
Number of pages17
JournalElectronic Notes in Theoretical Computer Science
Publication statusPublished - 2008
EventTwenty-fourth Conference on the Mathematical Foundations of Programming Semantics - , United States
Duration: 22 May 2008 → …


Dive into the research topics of 'Tensors of Comodels and Models for Operational Semantics'. Together they form a unique fingerprint.

Cite this