0NJ9 Theorem 2.2. ([74, 5.10]) The category Cat๐ฎ\Cat_{\mathcal{S}} carries a right proper Quillen model structure whose weak equivalences are the DK-equivalences.