University of Cambridge > Talks.cam > Wednesday Seminars - Department of Computer Science and Technology > Graphical Reasoning in Symmetric Monoidal Categories

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Graphical Reasoning in Symmetric Monoidal Categories

Download to your calendar using vCal

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:

Note that ex-directory lists are not shown.

Other lists

North British Functional Analysis (NBFAS) Average on weekdays: 8929.26887661 kWh Average on Sundays: 7249.76595745 kWh

Other talks

Machine Politics? Computers and AI in the History of Political Thought Dwarf Galaxies in the Local Universe Ensemble inequivalence for systems with long-range interactions Cambridge RNA Club - ONLINE Unveiling the curtain with ukubuyisa or go lata: complicated roles of museums and nation states in the cultural repatriation discourse and practice in southern Africa An AI-Assisted Proof in Spectral Geometry
 

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