• Corpus ID: 245124394

Composable constraints

  title={Composable constraints},
  author={Matt Wilson and Augustin Vanrietvelde},
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… 
1 Citations
Consistent circuits for indefinite causal order
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.


Quantaloidal approach to constraint satisfaction
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
  • A. Kissinger, S. Uijlen
  • Philosophy
    2017 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
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
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
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
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
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
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
The formalism of quantum theory over discrete systems is extended in two significant ways. First, tensors and traceouts are generalized, so that systems can be partitioned according to almost