Document Open Access Logo

Custom Hypergraph Categories via Generalized Relations

Authors Dan Marsden, Fabrizio Genovese



PDF
Thumbnail PDF

File

LIPIcs.CALCO.2017.17.pdf
  • Filesize: 459 kB
  • 16 pages

Document Identifiers

Author Details

Dan Marsden
Fabrizio Genovese

Cite AsGet BibTex

Dan Marsden and Fabrizio Genovese. Custom Hypergraph Categories via Generalized Relations. In 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 72, pp. 17:1-17:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)
https://doi.org/10.4230/LIPIcs.CALCO.2017.17

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.
Keywords
  • Process Theory
  • Categorical Compositional Semantics
  • Generalized Relations
  • Hypergraph Category
  • Compact Closed Category

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Samson Abramsky and Bob Coecke. A categorical semantics of quantum protocols. In Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on, pages 415-425. IEEE, 2004. Google Scholar
  2. John C Baez. Network theory (part 1). mathematical blog entry. URL: https://johncarlosbaez.wordpress.com/2011/03/04/network-theory-part-1/.
  3. John C Baez and Jason Erbele. Categories in control. Theory and Applications of Categories, 30(24):836-881, 2015. Google Scholar
  4. John C Baez and Brendan Fong. A compositional framework for passive linear networks. arXiv preprint arXiv:1504.05625, 2015. Google Scholar
  5. John C Baez, Brendan Fong, and Blake S Pollard. A compositional framework for Markov processes. Journal of Mathematical Physics, 57(3):033301, 2016. Google Scholar
  6. Dea Bankova. Comparing meaning in language and cognition - p-hypononymy, concept combination, asymmetric similarity. Master’s thesis, University of Oxford, 2015. Google Scholar
  7. Josef Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Daniel Marsden, and Robin Piedeleu. Interacting conceptual spaces. In Dimitrios Kartsaklis, Martha Lewis, and Laura Rimell, editors, Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science, SLPCS@QPL 2016, Glasgow, Scotland, 11th June 2016., volume 221 of EPTCS, pages 11-19, 2016. URL: http://dx.doi.org/10.4204/EPTCS.221.2.
  8. Filippo Bonchi, Pawel Sobocinski, and Fabio Zanasi. Full abstraction for signal flow graphs. ACM SIGPLAN Notices, 50(1):515-526, 2015. Google Scholar
  9. Aurelio Carboni and Robert F C Walters. Cartesian bicategories I. Journal of pure and applied algebra, 49(1-2):11-32, 1987. Google Scholar
  10. Maria Manuel Clementino and Walter Tholen. Metric, topology and multicategory-a common approach. Journal of Pure and Applied Algebra, 179(1):13-47, 2003. Google Scholar
  11. Bob Coecke and Aleks Kissinger. Picturing Quantum Processes. A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press, 2017. Google Scholar
  12. Bob Coecke, Mehrnoosh Sadrzadeh, and Stephen Clark. Mathematical foundations for distributed compositional model of meaning. Lambek festschrift. Linguistic Analysis, 36:345-384, 2010. Google Scholar
  13. Matej Dostal and Mehrnoosh Sadrzadeh. Many valued generalised quantifiers for natural language in the DisCoCat model. Technical report, QMUL, 2016. Google Scholar
  14. Jason Erbele. Categories in Control: Applied PROPs. PhD thesis, University of California Riverside, 2016. Google Scholar
  15. Brendan Fong. Decorated cospans. Theory and Applications of Categories, 30(33):1096-1120, 2015. Google Scholar
  16. Brendan Fong. The Algebra of Open and Interconnected Systems. PhD thesis, University of Oxford, 2016. Google Scholar
  17. Peter J Freyd and Andre Scedrov. Categories, allegories, volume 39. Elsevier, 1990. Google Scholar
  18. Peter Gärdenfors. Conceptual spaces: The geometry of thought. MIT press, 2004. Google Scholar
  19. Peter Gärdenfors. The geometry of meaning: Semantics based on conceptual spaces. MIT Press, 2014. Google Scholar
  20. Chris Heunen and Sean Tull. Categories of relations as models of quantum theory. In Chris Heunen, Peter Selinger, and Jamie Vicary, editors, Proceedings of the 12th International Workshop on Quantum Physics and Logic, Oxford, U.K., July 15-17, 2015, volume 195 of EPTCS, pages 247-261. Open Publishing Association, 2015. URL: http://dx.doi.org/10.4204/EPTCS.195.18.
  21. Dirk Hofmann, Gavin J Seal, and Walter Tholen. Monoidal Topology: A Categorical Approach to Order, Metric, and Topology, volume 153. Cambridge University Press, 2014. Google Scholar
  22. Peter T Johnstone. Stone spaces, volume 3. Cambridge University Press, 1986. Google Scholar
  23. Peter T Johnstone. Sketches of an Elephant: A Topos Theory Compendium, volume II. Oxford University Press, 2002. Google Scholar
  24. Stephen Lack. Composing PROPs. Theory and Applications of Categories, 13(9):147-163, 2004. Google Scholar
  25. F William Lawvere. Metric spaces, generalized logic, and closed categories. Rendiconti del seminario matématico e fisico di Milano, 43(1):135-166, 1973. Google Scholar
  26. Saunders MacLane. Categorical algebra. Bulletin of the American Mathematical Society, 71(1):40-106, 1965. Google Scholar
  27. Saunders MacLane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer, 1998. Google Scholar
  28. R. Piedeleu, D. Kartsaklis, B. Coecke, and M Sadrzadeh. Open system categorical quantum semantics in natural language processing. In Lawrence S. Moss and Pawel Sobocinski, editors, 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, volume 35 of LIPIcs, pages 270-289. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. URL: http://dx.doi.org/10.4230/LIPIcs.CALCO.2015.270.
  29. Robin Piedeleu. Ambiguity in categorical models of meaning. Master’s thesis, University of Oxford, 2014. Google Scholar
  30. Peter Selinger. A survey of graphical languages for monoidal categories. In New structures for physics, pages 289-355. Springer, 2010. Google Scholar
  31. Pawel Sobocinski. Graphical linear algebra. mathematical blog. URL: https://graphicallinearalgebra.net/.
  32. Ross Street. The formal theory of monads. Journal of Pure and Applied Algebra, 2(2):149-168, 1972. Google Scholar
  33. Fabio Zanasi. Interacting Hopf Algebras: The Theory of Linear Systems. PhD thesis, l'École Normale Supérieure de Lyon, 2015. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail