DeepAI AI Chat
Log In Sign Up

A canonical algebra of open transition systems

10/20/2020
βˆ™
by   Elena Di Lavore, et al.
βˆ™
0
βˆ™

Feedback and state are closely interrelated concepts. Categories with feedback, originally proposed by Katis, Sabadini and Walters, are a weakening of the notion of traced monoidal categories, with several pertinent applications in computer science. The construction of the free such categories has appeared in several different contexts, and can be considered as state bootstrapping. We show that a categorical algebra for open transition systems, π’π©πšπ§(π†π«πšπ©π‘)_βˆ—, also due to Katis, Sabadini and Walters, is the free category with feedback over π’π©πšπ§(π’πžπ­). Intuitively, this algebra of transition systems is obtained by adding state to an algebra of predicates, and therefore π’π©πšπ§(π†π«πšπ©π‘)_βˆ— is, in this sense, the canonical such algebra.

READ FULL TEXT

page 1

page 2

page 3

page 4

βˆ™ 02/12/2021

Algebraic cocompleteness and finitary functors

A number of categories is presented that are algebraically complete and ...
βˆ™ 06/26/2019

On free completely iterative algebras

For every finitary set functor F we demonstrate that free algebras carry...
βˆ™ 07/02/2018

Rule Algebras for Adhesive Categories

We show that every adhesive category gives rise to an associative algebr...
βˆ™ 06/29/2022

Rate Lifting for Stochastic Process Algebra: Exploiting Structural Properties

This report presents an algorithm for determining the unknown rates in t...
βˆ™ 03/20/2020

Cartesian bicategories with choice

Relational structures are emerging as ubiquitous mathematical machinery ...
βˆ™ 02/06/2020

Relating Apartness and Bisimulation

A bisimulation for a coalgebra of a functor on the category of sets can ...
βˆ™ 09/13/2016

Toward an Algebraic Theory of Systems

We propose the concept of a system algebra with a parallel composition o...