Situated Transition Sytems

by   Chad Nester, et al.

We construct a monoidal category of open transition systems that generate material history as transitions unfold, which we call situated transition systems. The material history generated by a composite system is composed of the material history generated by each component. The construction is parameterized by a symmetric strict monoidal category, understood as a resource theory, from which material histories are drawn. We pay special attention to the case in which this category is compact closed. In particular, if we begin with a compact closed category of integers then the resulting situated transition systems can be understood as systems of double-entry bookkeeping accounts.



page 1

page 2

page 3

page 4


FoamFactor: Hydrogel-Foam Composite with Tunable Stiffness and Compressibility

This paper presents FoamFactor, a novel material with tunable stiffness ...

Limits of bimorphic lenses

Bimorphic lenses are a simplification of polymorphic lenses that (like p...

A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces

This paper concerns a stochastic construction of probabilistic coherent ...

A Foundation for Ledger Structures

This paper introduces an approach to constructing ledger structures for ...

The algebra of predicting agents

The category of open games, which provides a strongly compositional foun...

Network archaeology: phase transition in the recoverability of network history

Network growth processes can be understood as generative models of the s...

Network Models from Petri Nets with Catalysts

Petri networks and network models are two frameworks for the composition...
This week in AI

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