A topological perspective on interacting algebraic theories

Publication date 8 December 2021

Full work available at URL https://arxiv.org/abs/1701.00658, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2016.5

2-categories, bicategories, double categories (18N10) Semantics in the theory of computing (68Q55) Infinite-dimensional groups and algebras motivated by physics, including Virasoro, Kac-Moody, (W)-algebras and other current algebras and their representations (81R10)

Abstract: Techniques from higher categories and higher-dimensional rewriting are becoming increasingly important for understanding the finer, computational properties of higher algebraic theories that arise, among other fields, in quantum computation. These theories have often the property of containing simpler sub-theories, whose interaction is regulated in a limited number of ways, which reveals a topological substrate when pictured by string diagrams. By exploring the double nature of computads as presentations of higher algebraic theories, and combinatorial descriptions of "directed spaces", we develop a basic language of directed topology for the compositional study of algebraic theories. We present constructions of computads, all with clear analogues in standard topology, that capture in great generality such notions as homomorphisms and actions, and the interactions of monoids and comonoids that lead to the theory of Frobenius algebras and of bialgebras. After a number of examples, we describe how a fragment of the ZX calculus can be reconstructed in this framework.

Recommendations

Cites work

Cited in

(1)

scientific article; zbMATH DE number 936355 (Why is no real title available?)

This page was built for publication: A topological perspective on interacting algebraic theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5014783)