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


Krzysztof Bar More by this author

Contributors

Role:
Supervisor
Role:
Supervisor
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford

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