Automated rewriting for higher categories and applications to quantum theory
<p>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...
| Autor Principal: | |
|---|---|
| Outros autores: | |
| Formato: | Thesis |
| Publicado: |
2016
|
| Subjects: |