DeepAI AI Chat
Log In Sign Up

Rewriting in Free Hypegraph Categories

12/27/2017
by   Fabio Zanasi, et al.
UCL
0

We study rewriting for equational theories in the context of symmetric monoidal categories where there is a separable Frobenius monoid on each object. These categories, also called hypergraph categories, are increasingly relevant: Frobenius structures recently appeared in cross-disciplinary applications, including the study of quantum processes, dynamical systems and natural language processing. In this work we give a combinatorial characterisation of arrows of a free hypergraph category as cospans of labelled hypergraphs and establish a precise correspondence between rewrit- ing modulo Frobenius structure on the one hand and double-pushout rewriting of hypergraphs on the other. This interpretation allows to use results on hypergraphs to ensure decidability of confluence for rewriting in a free hypergraph category. Our results generalise previous approaches where only categories generated by a single object (props) were considered.

READ FULL TEXT

page 1

page 2

page 3

page 4

12/27/2017

Rewriting in Free Hypergraph Categories

We study rewriting for equational theories in the context of symmetric m...
06/21/2018

Hypergraph Categories

Hypergraph categories have been rediscovered at least five times, under ...
01/31/2020

Relational Semigroups and Object-Free Categories

This note relates axioms for partial semigroups and monoids with those f...
04/29/2019

Computational Petri Nets: Adjunctions Considered Harmful

We review some of the endeavors in trying to connect Petri nets with fre...
05/26/2023

Protocol Choice and Iteration for the Free Cornering

We extend the free cornering of a symmetric monoidal category, a double ...
02/19/2023

Rewriting modulo traced comonoid structure

In this paper we adapt previous work on rewriting string diagrams using ...
01/31/2015

Category-Epitomes : Discriminatively Minimalist Representations for Object Categories

Freehand line sketches are an interesting and unique form of visual repr...