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 > Wednesday Seminars - Department of Computer Science and Technology > 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 Wednesday Seminars - Department of Computer Science and Technology series. ## This talk is included in these lists:- All Talks (aka the CURE list)
- Cambridge talks
- Chris Davis' list
- Department of Computer Science and Technology talks and seminars
- Graduate-Seminars
- Guy Emerson's list
- Interested Talks
- Lecture Theatre 1, Computer Laboratory
- School of Technology
- Trust & Technology Initiative - interesting events
- Wednesday Seminars - Department of Computer Science and Technology
- 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 talksCambridge - Corporate Finance Theory Symposium September 2017 - Day 2 Magnetic van der Waals Materials: Potentials and Applications The DNA oxygenase TET1 in mammalian embryonic development and epigenetic reprogramming Gaze and Locomotion in Natural Terrains Tying Knots in Wavefunctions Chemical genetic approaches to accelerate antimalarial target discovery Amino acid sensing: the elF2a signalling in the control of biological functions Liver Regeneration in the Damaged Liver Graded linearisations for linear algebraic group actions Alzheimer's talks |