Thesis icon

Thesis

Pictures of processes

Subtitle:
automated graph rewriting for monoidal categories and applications to quantum computing
Abstract:

This work is about diagrammatic languages, how they can be represented, and what they in turn can be used to represent. More specifically, it focuses on representations and applications of string diagrams. String diagrams are used to represent a collection of processes, depicted as "boxes" with multiple (typed) inputs and outputs, depicted as "wires". If we allow plugging input and output wires together, we can intuitively represent complex compositions of processes, formalised as morphism...

Expand abstract

Actions


Authors


More by this author
Institution:
University of Oxford
Research group:
Quantum Group
Oxford college:
St Catherine's College
Department:
Mathematical,Physical & Life Sciences Division - Computer Science,Department of

Contributors

Role:
Supervisor
Role:
Supervisor
Publication date:
2011
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
Oxford University, UK
URN:
uuid:61fb3161-a353-48fc-8da2-6ce220cce6a2
Local pid:
ora:6452

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP