Fahd A. A. Al-Agl

Multiple categories: the equivalence of a globular and a cubical approach

We show the equivalence of two kinds of strict multiple category, namely the well known globular omega-categories, and the cubical omega-categories with connections.