שליחה במסרון: Globular multicategories with homomorphism types