Custom hypergraph categories via generalized relations

DOI10.4230/LIPICS.CALCO.2017.17zbMATH Open1433.68205MaRDI QIDQ4580213FDOQ4580213

Authors: Dan Marsden, Fabrizio Genovese 

Publication date: 13 August 2018

Abstract: 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. Our framework generalizes the notion of binary relation along four axes of variation, the truth values, a choice of algebraic structure, the ambient mathematical universe and the choice of proof relevance or provability. The resulting categories are preorder-enriched and provide analogues of relational converse and taking graphs of maps. Our constructions are functorial in the parameter choices, establishing mathematical connections between different application domains. We illustrate our techniques by constructing many existing models from the literature, and new models that open up ground for further development.

Full work available at URL: https://arxiv.org/abs/1703.01204

Recommendations

• Constructing process categories
• Hypergraph categories
• scientific article; zbMATH DE number 860038
• Decorated Corelations
• Causal categories: relativistically interacting processes

zbMATH Keywords

compact closed categoryprocess theorygeneralized relationshypergraph categorycategorical compositional semantics

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Cited In (5)

• Uniqueness of Composition in Quantum Theory and Linguistics
• Generalized relations in linguistics \& cognition
• Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics
• A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations
• Universal constructions for (co)relations: categories, monoidal categories, and props

This page was built for publication: Custom hypergraph categories via generalized relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580213)