ScalingStacks

Definition 6.2. The category $\Upsilon_{n}$ is the smallest full subcategory of $\gaunt_{n}$ that contains $\Theta_{n}$ and is closed under products of correspondences, $(M,N)\mapsto M\times_{C_{k}}N$.