STAF 2023
Tue 18 - Fri 21 July 2023 Leicester, United Kingdom
Tue 18 Jul 2023 13:30 - 14:00 at Willow - GCM Session 2 Chair(s): Andrea Corradini

In this note we present a sketch of a correspondence between hypergraph rewrite systems and higher-arity algebras. Our results have implications in a wide range of research areas, from diagrammatic calculus in category theory, to applied spectral methods in complex networks. Our key observation is that a choice of motif (model subhypergraph that determines a rewrite rule), induces a canonical algebraic operation on adjacency hypermatrices (higher-order tensors faithfully encoding hyperedge data). This is a direct generalization of the well-known fact that path-adjacency in graphs induces ordinary matrix multiplication. The rewrite perspective proves particularly illuminating when dealing with long-standing problems in algebraic hypergraph theory and higher-arity algebra such as higher-order sequentiality and generalized associativity.

Tue 18 Jul

Displayed time zone: London change

13:30 - 15:00
GCM Session 2GCM at Willow
Chair(s): Andrea Corradini

Remote Participants: Zoom Link, YouTube Livestream

13:30
30m
Talk
Hypergraph Rewriting and Higher-Arity Algebra
GCM
P: Carlos Zapata-Carratala Wolfram Institute / Society for Multidisciplinary and Fundamental Research
14:00
30m
Talk
Graph Edit Distance for Interaction Net Rewrite Rules
GCM
P: Ian Mackie University of Sussex, Shinya Sato Ibaraki University, Marc Thatcher University of Sussex
14:30
30m
Talk
Dynamic Tracing: a graphical language for rewriting protocols
GCM
P: Kristopher Brown Stanford University, David Spivak Topos Institute