Custom Hypergraph Categories via Generalized Relations

Understand

Process theories combine a graphical language for compositional reasoning with an underlying categorical semantics.

• They have been successfully applied to fields such as quantum computation, natural language processing, linear dynamical systems and network theory.
• When investigating a new application, the question arises of how to identify a suitable process theoretic model.
• We present a conceptually motivated parameterized framework for the construction of models for process theories.