2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/67154We address the fact that composition in an opetopic weak n-category is in general not unique and hence is not a well-defined operation. We define composition with a given k-cell in an n-category by a span of (n-k)-categories. We characterise such a cell as universal if its composition span gives an equivalence of (n-k)-categories.16 pagesCategory Theorytext