2 problems

Let $F\colon\mathcal{S}\to\mathcal{T}$ be a morphism of limit sketches. A test Morita equivalence is a morphism of sketches that induces an equivalence … for every test sketch. Set…

Let $C$ be an $infty$-category, and let $W\subseteq (\operatorname{Cat}\!\slice C)^{\Delta^1}$ be a set of maps satisfying three conditions: it is stable under 2-out-of-3 and retra…