TY - RPRT TI - A higher Grothendieck construction AU - Amit Sharma PY - 2020 UR - https://arxiv.org/abs/2004.09654 ID - 2004.09654 ER -