Globular multicategories with homomorphism types (2022)

First Author: Dean C

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