COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

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 diagramsAdd to your list(s) Download to your calendar using vCal - Fabio Zanasi, Radboud University of Nijmegen, Netherlands
- Friday 29 January 2016, 14:00-15:00
- SS03.
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. ## This talk is included in these lists:- All Talks (aka the CURE list)
- Cambridge talks
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- SS03
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
- yk373's list
Note that ex-directory lists are not shown. |
## Other lists'Expanding Horizons' - Cambridge MedSoc Talks Beyond Profit Enterprise Stream One Day Meeting - 5th Annual Symposium of the Cambridge Computational Biology Institute TEDxOxbridge Open Cambridge CCC talks for website## Other talksPrimary liver tumor organoids: a new pre-clinical model for drug sensitivity analysis Emma Hart: Remaking the Public Good in the American Marketplace during the Early Republic Girton College 57th Founders’ Memorial Lecture with Hisham Matar: Life and Work Using single-cell technologies and planarians to study stem cells, their differentiation and their evolution |