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) > New reasoning techniques for monoidal algebras

## New reasoning techniques for monoidal algebrasAdd to your list(s) Download to your calendar using vCal - Aleks Kissinger, University of Oxford
- Friday 16 January 2015, 16:00-17:00
- Room FW26, Computer Laboratory, William Gates Building.
If you have a question about this talk, please contact Jonathan Hayman. In this talk, I will discuss the interaction of two prominent tools one uses to study algebraic structures in monoidal categories: PRO Ps and string diagram rewriting. PRO Ps are small symmetric monoidal categories which totally capture a certain algebraic structure (they are the “walking X”), but their application is typically limited to structures that we understand well. On the other hand, rewriting with string diagrams allows one to immediately get a handle on even those structures which have very complicated presentations, but it provides little in the way of powerful “meta-rules” describing the global behaviour of the structure. To bridge this gap, one needs to find more sophisticated ways of expressing and reasoning about infinite families of diagrams. In this talk, I will introduce ”!-box notation”, which gives a particularly simple means of doing just that. While the expressive power of !-boxes is fairly limited, when combined with the notions of !-graph rewriting and induction, one can state and prove a surprisingly rich family of theorems, and sometimes even recapture the kind of global behaviour we would expect from a PROP -based approach. I will illustrate this by giving a purely graphical proof of a recent representation theorem for interacting bialgebras, and show this theorem in action in the graphical proof assistant Quantomatic. 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)
- Computer Laboratory talks
- Computing and Mathematics
- Logic and Semantics Seminar (Computer Laboratory)
- Room FW26, Computer Laboratory, William Gates Building
- School of Technology
Note that ex-directory lists are not shown. |
## Other listsNeuroscience First Intestinal Epithelial Research Symposium Cambridge PhD Clinic## Other talksVortex Sound Models: Passive noise control Oncological imaging: introduction and non-radionuclide techniques Nonlinear ICA using temporal structure: a principled framework for unsupervised deep learning Researching social problems: Putting the cart before the horse? Title and date to be confirmed Regulatory regimes for diagnostic devices |