Tekstiviesti: Globular multicategories with homomorphism types