TY - RPRT TI - A Giraud-type characterization of the simplicial categories associated to closed model categories as $\infty$-pretopoi AU - Carlos Simpson PY - 1999 UR - https://arxiv.org/abs/math/9903167 ID - math/9903167 ER -