Skip to Main content Skip to Navigation

Interacting Hopf Algebras- the Theory of Linear Systems

Abstract : We present by generators and equations the algebraic theory IH whose free model is the category oflinear subspaces over a field k. Terms of IH are string diagrams which, for different choices of k, expressdifferent kinds of networks and graphical formalisms used by scientists in various fields, such as quantumcircuits, electrical circuits and Petri nets. The equations of IH arise by distributive laws between Hopfalgebras - from which the name interacting Hopf algebras. The characterisation in terms of subspacesallows to think of IH as a string diagrammatic syntax for linear algebra: linear maps, spaces and theirtransformations are all faithfully represented in the graphical language, resulting in an alternative, ofteninsightful perspective on the subject matter. As main application, we use IH to axiomatise a formalsemantics of signal processing circuits, for which we study full abstraction and realisability. Our analysissuggests a reflection about the role of causality in the semantics of computing devices.
Complete list of metadata

Cited literature [113 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Tuesday, October 20, 2015 - 2:32:05 PM
Last modification on : Wednesday, November 20, 2019 - 3:24:45 AM
Long-term archiving on: : Friday, April 28, 2017 - 6:53:24 AM


Version validated by the jury (STAR)


  • HAL Id : tel-01218015, version 1


Fabio Zanasi. Interacting Hopf Algebras- the Theory of Linear Systems. Formal Languages and Automata Theory [cs.FL]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1020⟩. ⟨tel-01218015⟩



Record views


Files downloads