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
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.