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 > Computer Laboratory Wednesday Seminars > Graphical Reasoning in Symmetric Monoidal Categories

## Graphical Reasoning in Symmetric Monoidal CategoriesAdd to your list(s) Download to your calendar using vCal - Lucas Dixon - University of Edinburgh
- Wednesday 27 January 2010, 14:15-15:15
- Lecture Theatre 1, Computer Laboratory.
If you have a question about this talk, please contact Mateja Jamnik. Symmetric monoidal categories capture the basic structure of a variety of important domains, including quantum computations. An important feature is that they have a natural visual presentation that is similar to traditional circuit diagrams. Additional structure specific to a domain, such as quantum information, is sometimes captured as equations between diagrams. Informally, such equations may involve ‘ellipses’-notation (as in the “1 … n” notation used for a list of numbers from 1 to n). I will describe how such notation in graphs can be made amenable to computer-aided manipulation, why this is important, and the interesting structural properties that result. I will illustrate the graphical language applied to quantum computations and boolean circuits. Finally, I will show how this can be used to perform a graphical version of symbolic proof and computation. This talk is part of the Computer Laboratory Wednesday Seminars series. ## This talk is included in these lists:- All Talks (aka the CURE list)
- Cambridge talks
- Chris Davis' list
- Computer Laboratory Wednesday Seminars
- Computer Laboratory talks
- Graduate-Seminars
- Guy Emerson's list
- Interested Talks
- Lecture Theatre 1, Computer Laboratory
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
- computer science
- se393's list
Note that ex-directory lists are not shown. |
## Other listsCambridge Initiative for Musculoskeletal Tissue Engineering Cambridge Conversations in Translation Arctic Ocean Geopolitics Programme## Other talksChemical genetic approaches to accelerate antimalarial target discovery Tying Knots in Wavefunctions Gaze and Locomotion in Natural Terrains The DNA oxygenase TET1 in mammalian embryonic development and epigenetic reprogramming Magnetic van der Waals Materials: Potentials and Applications CANCELED DUE TO USS PENSIONS STRIKE. |