When Only Topology Matters - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2021

When Only Topology Matters

Abstract

Graphical languages are symmetric monoidal categories presented by generators and equations. The string diagrams notation allows to transform numerous axioms into low dimension topological rules we are comfortable with as three dimensional space citizens. This aspect is often referred to by the Only Topology Matters paradigm (OTM). However OTM remains quite informal and its exact meaning in terms of rewriting rules is ambiguous. In this paper we define three precise aspects of the OTM paradigm, namely flexsymmetry, flexcyclicity and flexibility of Frobenius algebras. We investigate how this new framework can simplify the presentation of known graphical languages based on Frobenius algebras.

Dates and versions

hal-03153265 , version 1 (26-02-2021)

Identifiers

Cite

Titouan Carette. When Only Topology Matters. 2021. ⟨hal-03153265⟩
221 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More