- Home »
- Interacting Hopf monoids and Graphical Linear Algebra

Playing this video requires the latest flash player from Adobe.

Download link (right click and 'save-as') for playing in VLC or other compatible player.

Speaker(s):

Scientific Areas:

Collection/Series:

PIRSA Number:

17080007

The interaction of Hopf monoids and Frobenius monoids is the productive nucleus of the ZX calculus, where famously each Frobenius monoid-comonoid pair corresponds to a complementary basis and the Hopf structure describes the interaction between the bases. The theory of Interacting Hopf monoids (IH), introduced by Bonchi, Sobocinski and Zanasi, features essentially the same Hopf-Frobenius interaction pattern. The free symmetric monoidal category generated by IH is isomorphic to the category of linear relations over the field of rationals: thus the string diagrams of IH are an alternative graphical language for elementary concepts of linear algebra. IH has a modular construction via distibutive laws of props, and has been applied as a compositional language of signal flow graphs. In this talk I will outline the equational theory, its construction and applications, as well as report on ongoing and future work.

Share This PageShare this on TwitterShare on FacebookPublish this post to LinkedInSubmit this post on reddit.com

©2012 Perimeter Institute for Theoretical Physics