ScalingStacks

[0MHP]

Definition 4.1. The globular category 𝔾n\mathbb{G}_{n} consists of the full subcategory of Gauntn\gaunt_{n} consisting of the ii-cells CiC_{i} for i≤ni\leq n.

An nn-globular set is a presheaf of sets on 𝔾n\mathbb{G}_{n}. The kk-cells XkX_{k} of a globular set is the set obtained by evaluating the presheaf XX on CkC_{k}.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Clark Barwick, Christopher Schommer-Pries

Original source: arXiv:1112.0040v6

Original source · 1112.0040v6