# Composable constraints

@article{Wilson2021ComposableC, title={Composable constraints}, author={Matt Wilson and Augustin Vanrietvelde}, journal={ArXiv}, year={2021}, volume={abs/2112.06818} }

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…

## One Citation

Consistent circuits for indefinite causal order

- Computer Science
- 2022

This work displays how several standard examples of exotic processes, including ones that violate causal inequalities, are among the class of processes that can be generated in this way, and conjecture that this class in fact includes all unitarily extendible processes.

## References

SHOWING 1-10 OF 41 REFERENCES

Quantaloidal approach to constraint satisfaction

- MathematicsArXiv
- 2021

It is pointed out that fundamental concepts of the CSP can be formulated abstractly inside the 2-category PFinSet of finite sets and sets of functions between them, and their computational complexity can be classified by the associated notion of polymorphism.

A categorical semantics for causal structure

- Philosophy2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- 2017

This work presents a categorical construction for modelling both definite and indefinite causal structures within a general class of process theories that include classical probability theory and quantum theory, and gives derivations of their operational behaviour using simple, diagrammatic axioms.

Causal and compositional structure of unitary transformations

- Computer ScienceQuantum
- 2021

A new formalism of `extended circuit diagrams' is introduced, which goes beyond what is expressible with quantum circuits, with the core new feature being the ability to represent direct sum structures in addition to sequential and tensor product composition.

Causal Categories: Relativistically Interacting Processes

- Mathematics
- 2011

A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure…

Routed quantum circuits

- Computer ScienceQuantum
- 2021

It is proved that this new framework allows for a consistent and intuitive diagrammatic representation in terms of circuit diagrams, applicable to both pure and mixed quantum theory, and exemplify its use in several situations, including the superposition of quantum channels and the causal decompositions of unitaries.

Functorial Boxes in String Diagrams

- MathematicsCSL
- 2006

This short tutorial explains how string diagrams may be extended with a notion of functorial box depicting a functor transporting an inside world (its source category) to an outside world ( its target category) and exposes two elementary applications of the notation.

A Process-Theoretic Church of the Larger Hilbert Space

- Mathematics
- 2019

We show how to reconstruct a process theory of local systems starting from a global theory of reversible processes on a single global system, by using the purification principle. In such a process…

Causal influence in operational probabilistic theories

- Computer ScienceQuantum
- 2021

The proposed definition of causal influence has interesting consequences on the analysis of causal networks, and leads to a revision of the notion of neighbourhood for classical cellular automata, clarifying a puzzle regarding their quantisation that apparently makes the neighbourhood larger than the original one.

Quantum networks theory

- PhilosophyArXiv
- 2021

The formalism of quantum theory over discrete systems is extended in two signiﬁcant ways. First, tensors and traceouts are generalized, so that systems can be partitioned according to almost…