Stav dette: Globular multicategories with homomorphism types