Thesis icon

Thesis

Pictures of processes

Alternative title:
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


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
Quantum Group
Oxford college:
St Catherine's College
Role:
Author

Contributors

Division:
MPLS
Department:
Computer Science
Role:
Supervisor
Division:
MPLS
Department:
Computer Science
Role:
Supervisor
Publication date:
2011
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford
Language:
English
Keywords:
Subjects:
UUID:
uuid:61fb3161-a353-48fc-8da2-6ce220cce6a2
Local pid:
ora:6452
Deposit date:
2012-08-17

Terms of use


Views and Downloads






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

TO TOP