A Giraud-type characterization of the simplicial categories associated to closed model categories as $\infty$-pretopoi

Carlos Simpson

Theorem (after Giraud, SGA 4): Suppose $A$ is a simplicial category. The following conditions are equivalent: (i) There is a cofibrantly generated closed model category $M$ such th…