ScalingStacks

Definition 5.1. A correspondence (or $k$-correspondence, for clarity) of gaunt $n$-categories is an object of the overcategory $(\gaunt_{n}/C_{k})$. In other words, a $k$-correspondence of gaunt $n$-categories is a gaunt $n$-category $M$ along with a functor $M\to C_{k}$.