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
Funding
+ Oxford Department of Computer Science, Oxford University Press
More from this funder
Funding agency for:
Aleks Kissinger
Bibliographic Details
- 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
Item Description
Terms of use
- Copyright holder:
- Aleks Kissinger
- Copyright date:
- 2011
- Notes:
- This thesis is not currently available via ORA.
If you are the owner of this record, you can report an update to it here: Report update to this record