TY - RPRT TI - Derived $(\infty,1)$-categories of two kinds AU - Grigory Kondyrev PY - 2014 UR - https://arxiv.org/abs/1412.3198 ID - 1412.3198 ER -