Գրեք սա: Globular multicategories with homomorphism types