TY - GEN T1 - Left fibrations and homotopy colimits PY - -0001/11/30 AU - Heuts G AU - Moerdijk I ED - Y2 - 2024/12/22 ER -