Definition 4.1. The globular category consists of the full subcategory of consisting of the -cells for .
An -globular set is a presheaf of sets on . The -cells of a globular set is the set obtained by evaluating the presheaf on .
Definition 4.1. The globular category consists of the full subcategory of consisting of the -cells for .
An -globular set is a presheaf of sets on . The -cells of a globular set is the set obtained by evaluating the presheaf on .
Original source: arXiv:1112.0040v6
Original source · 1112.0040v6