Thesis icon

Thesis

Automated rewriting for higher categories and applications to quantum theory

Abstract:

The contribution of this thesis is a novel framework for rewriting in higher categories. Its theoretical foundation is the theory of quasistrict higher categories and the practical realisation is a proof assistant Globular. The framework introduces the notions of diagrams and signatures as new mutually-recursive structures that give the algebraic basis for the approach. These structures are related the notion of an n-polygraph, but allow reasoning about quasistrict higher categor...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Division:
MPLS
Department:
Computer Science
Role:
Author

Contributors

Role:
Supervisor
Role:
Supervisor
Engineering and Physical Sciences Research Council More from this funder
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford
Subjects:
UUID:
uuid:ba1d3341-873d-4255-8400-c2277b7648f3
Deposit date:
2018-04-23

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