Globular multicategories with homomorphism types (2022)
Attributed to:
Higher categories and logic
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.5287/ora-9gjr48opy
Publication URI: https://ora.ox.ac.uk/objects/uuid:c42f6774-c44c-4dd2-aa13-5e7c1ca96a96
Type: Thesis