DeepAI AI Chat
Log In Sign Up

Distributive Laws for Monotone Specifications

09/04/2017
by   Jurriaan Rot, et al.
Radboud Universiteit
0

Turi and Plotkin introduced an elegant approach to structural operational semantics based on universal coalgebra, parametric in the type of syntax and the type of behaviour. Their framework includes abstract GSOS, a categorical generalisation of the classical GSOS rule format, as well as its categorical dual, coGSOS. Both formats are well behaved, in the sense that each specification has a unique model on which behavioural equivalence is a congruence. Unfortunately, the combination of the two formats does not feature these desirable properties. We show that monotone specifications - that disallow negative premises - do induce a canonical distributive law of a monad over a comonad, and therefore a unique, compositional interpretation.

READ FULL TEXT

page 1

page 2

page 3

page 4

05/13/2016

A Corpus-based Toy Model for DisCoCat

The categorical compositional distributional (DisCoCat) model of meaning...
03/31/2021

A categorical framework for congruence of applicative bisimilarity in higher-order languages

Applicative bisimilarity is a coinductive characterisation of observatio...
08/29/2019

Cellular Monads from Positive GSOS Specifications

We give a leisurely introduction to our abstract framework for operation...
06/04/2019

Bialgebraic Semantics for String Diagrams

Turi and Plotkin's bialgebraic semantics is an abstract approach to spec...
04/07/2020

A categorical approach to secure compilation

We introduce a novel approach to secure compilation based on maps of dis...
04/27/2022

A biset-enriched categorical model for Proto-Quipper with dynamic lifting

Quipper and Proto-Quipper are a family of quantum programming languages ...
10/18/2017

An intensionally fully-abstract sheaf model for π (expanded version)

Following previous work on CCS, we propose a compositional model for the...