Custom Hypergraph Categories via Generalized Relations

DOI10.4230/LIPIcs.CALCO.2017.17zbMath1433.68205arXiv1703.01204MaRDI QIDQ4580213

Fabrizio Genovese, Dan Marsden

Publication date: 13 August 2018

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

zbMATH Keywords

compact closed category; process theory; generalized relations; hypergraph category; categorical compositional semantics

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

18C50: Categorical semantics of formal languages

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)