Bisimulation maps in presheaf categories

09/04/2019
by   Harsh Beohar, et al.
0

The category of presheaves on a (small) category is a suitable semantic universe to study behaviour of various dynamical systems. In particular, presheaves can be used to record the executions of a system and their morphisms correspond to simulation maps for various kinds of state-based systems. In this paper, we introduce a notion of bisimulation maps between presheaves (or executions) to capture well known behavioural equivalences in an abstract way. We demonstrate the versatility of this framework by working out the characterisations for standard bisimulation, ∀-fair bisimulation, and branching bisimulation.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/18/2021

On the Existence of Coproducts in Categories of q-Matroids

q-Matroids form the q-analogue of classical matroids. In this paper we i...
research
04/06/2018

The Category of von Neumann Algebras

In this dissertation we study the category of completely positive normal...
research
06/14/2021

Minimality Notions via Factorization Systems

For the minimization of state-based systems (i.e. the reduction of the n...
research
07/15/2022

A category-theoretic proof of the ergodic decomposition theorem

The ergodic decomposition theorem is a cornerstone result of dynamical s...
research
04/20/2022

Dependent Optics

A wide variety of bidirectional data accessors, ranging from mixed optic...
research
05/18/2023

Determinism of Multirelations

Binary multirelations can model alternating nondeterminism, for instance...
research
01/31/2020

Relational Semigroups and Object-Free Categories

This note relates axioms for partial semigroups and monoids with those f...

Please sign up or login with your details

Forgot password? Click here to reset