Thesis
Globular multicategories with homomorphism types
- Abstract:
- We introduce various notions of globular multicategory with homomorphism types. We develop a higher dimensional modules construction that constructs globular multicategories with strict homomorphism types. We illustrate how this construction is related to iterated enrichment. We show how various collections of “higher category-like”objects give rise to globular multicategories with homomorphism types. We show how these structures suggest a new globular approach to the semantics of (directed) homotopy type theory.
Actions
Access Document
- Files:
-
-
(Preview, Dissemination version, pdf, 969.6KB, Terms of use)
-
Authors
Contributors
+ Kremnitzer, Y
- Institution:
- University of Oxford
- Role:
- Supervisor
- ORCID:
- 0000-0002-9142-9771
+ Vicary, J
- Role:
- Supervisor
+ Douglas, C
- Institution:
- University of Oxford
- Division:
- MPLS
- Department:
- Mathematical Institute
- Role:
- Examiner
+ Awodey, S
- Role:
- Examiner
+ Engineering and Physical Sciences Research Council
More from this funder
- Funding agency for:
- Dean, CJ
- Grant:
- 1734032
- Programme:
- Studentship from the EPSRC Doctoral Training Partnership
- DOI:
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- University of Oxford
- Language:
-
English
- Keywords:
- Subjects:
- Deposit date:
-
2023-03-01
- ARK identifier:
Terms of use
- Copyright holder:
- Dean, CJ
- Copyright date:
- 2022
If you are the owner of this record, you can report an update to it here: Report update to this record