TY - RPRT TI - Simplicial model structures on pro-categories AU - Thomas Blom AU - Ieke Moerdijk PY - 2022 DO - 10.2140/agt.2023.23.3849 UR - https://arxiv.org/abs/2009.07539 ID - 2009.07539 ER -