TY  - RPRT
TI  - Pro-categories in homotopy theory
AU  - Ilan Barnea
AU  - Yonatan Harpaz
AU  - Geoffroy Horel
PY  - 2017
DO  - 10.2140/agt.2017.17.567
UR  - https://arxiv.org/abs/1507.01564
ID  - 1507.01564
ER  -