University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Interacting Hopf monoids: the algebra of signal flow diagrams

Interacting Hopf monoids: the algebra of signal flow diagrams

Add to your list(s) Download to your calendar using vCal

  • UserFabio Zanasi, Radboud University of Nijmegen, Netherlands World_link
  • ClockFriday 29 January 2016, 14:00-15:00
  • HouseSS03.

If you have a question about this talk, please contact Ohad Kammar.

NOTE UNUSUAL VENUE

This talk illustrates the signal flow calculus, an algebraic and diagrammatic foundation of signal processing circuits. Signal flow graphs, a class of circuits that play a foundational role in control theory, are recovered via a Kleene’s theorem, as the rational fragment of the calculus. The high-point of our developments is a sound and complete axiomatisation for semantic equivalence, which we call the theory of interacting Hopf monoids (IH). The relevance of IH goes beyond the signal flow calculus: its equations describe the interplay of familiar structures, such as Frobenius monoids and Hopf monoids, in a way that appeared independently in other research threads, in quantum information theory and concurrency theory. Our approach gives a formal explanation for this ubiquity, by showing that the equations of IH present categories of linear subspaces — completeness for the signal flow calculus follows as a corollary. This characterisation passes through a modular account of IH : its axioms are explained in terms of composition of simpler algebraic theories, using distributive laws of PRO Ps as in the work of Steve Lack.

This talk is based on joint work with Filippo Bonchi and Pawel Sobocinski.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity