TY - RPRT TI - The 2-category theory of quasi-categories AU - Emily Riehl AU - Dominic Verity PY - 2015 UR - https://arxiv.org/abs/1306.5144 ID - 1306.5144 ER -