DeepAI AI Chat

Bisimulation maps in presheaf categories

09/04/2019

∙

by Harsh Beohar, et al.

∙

∙

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.

Harsh Beohar
4 publications
Sebastian Küpper
2 publications

page 1

page 2

page 3

page 4

∙ 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...

0 Heide Gluesing-Luerssen, et al. ∙

∙ 04/06/2018

The Category of von Neumann Algebras

In this dissertation we study the category of completely positive normal...

0 Abraham A. Westerbaan, et al. ∙

∙ 06/14/2021

Minimality Notions via Factorization Systems

For the minimization of state-based systems (i.e. the reduction of the n...

0 Thorsten Wißmann, et al. ∙

∙ 07/15/2022

A category-theoretic proof of the ergodic decomposition theorem

The ergodic decomposition theorem is a cornerstone result of dynamical s...

0 Sean Moss, et al. ∙

∙ 04/20/2022

Dependent Optics

A wide variety of bidirectional data accessors, ranging from mixed optic...

0 Pietro Vertechi, et al. ∙

∙ 05/18/2023

Determinism of Multirelations

Binary multirelations can model alternating nondeterminism, for instance...

0 Hitoshi Furusawa, et al. ∙

∙ 01/31/2020

Relational Semigroups and Object-Free Categories

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

0 James Cranch, et al. ∙