Відправити по sms: Globular multicategories with homomorphism types