ScalingStacks

Definition 3.20. Let $M$ be an $B$-framed $n$-manifold, and let $N$ be an oriented $k$-manifold, possibly with boundary. For $f:M\rightarrow N$ a map such that the restrictions of $f$ over each of the interior of $N$ and of the boundary of $N$ is a fiber bundle, the $\oo$-category $\disk_{f}$ is the limit of the diagram among $\infty$-categories

where ${\sf Ar}(\mfld^{B}_{n/M})$ is the $\oo$-category of functors $[1]\to\mfld^{B}_{n/M}$.