Globular multicategories with homomorphism types - Dean, CJ (University of Oxford, 2022)