Anfonwch hwn fel neges destun: Globular multicategories with homomorphism types