TY - RPRT TI - Rigidification of quasi-categories AU - Daniel Dugger AU - David I. Spivak PY - 2009 DO - 10.2140/agt.2011.11.225 UR - https://arxiv.org/abs/0910.0814 ID - 0910.0814 ER -