أرسل هذا في رسالة قصيرة: Globular multicategories with homomorphism types