DeepAI AI Chat
Log In Sign Up

Composable constraints

12/13/2021
by   Matt Wilson, et al.
0

We introduce a notion of compatibility between constraint encoding and compositional structure. Phrased in the language of category theory, it is given by a "composable constraint encoding". We show that every composable constraint encoding can be used to construct an equivalent notion of a constrained category in which morphisms are supplemented with the constraints they satisfy. We further describe how to express the compatibility of constraints with additional categorical structures of their targets, such as parallel composition, compactness, and time-symmetry. We present a variety of concrete examples. Some are familiar in the study of quantum protocols and quantum foundations, such as signalling and sectorial constraints; others arise by construction from basic categorical notions. We use the language developed to discuss the notion of intersectability of constraints and the simplifications it allows for when present, and to show that any time-symmetric theory of relational constraints admits a faithful notion of intersection.

READ FULL TEXT

page 1

page 2

page 3

page 4

05/01/2020

Effectus of Quantum Probability on Relational Structures

The notion of effectus from categorical logic is relevant in the emergin...
10/06/2021

Concrete Categorical Model of a Quantum Circuit Description Language with Measurement

In this paper, we introduce dynamic lifting to a quantum circuit-descrip...
05/01/2020

Why FHilb is Not an Interesting (Co)Differential Category

Differential categories provide an axiomatization of the basics of diffe...
11/07/2018

Hypernormalisation, linear exponential monads and the Giry tricocycloid

We provide new categorical perspectives on Jacobs' notion of hypernormal...
01/26/2021

Cyber Kittens, or Some First Steps Towards Categorical Cybernetics

We define a categorical notion of cybernetic system as a dynamical reali...
06/07/2023

On categorical structures arising from implicative algebras: from topology to assemblies

Implicative algebras have been recently introduced by Miquel in order to...
10/01/2022

Physical computation and compositionality

Developments in quantum computing and, more in general, non-standard com...