TY - RPRT TI - Strict model structures for pro-categories AU - Daniel C. Isaksen PY - 2001 UR - https://arxiv.org/abs/math/0108189 ID - math/0108189 ER -