TY - RPRT TI - From the Sigma-type to the Grothendieck construction AU - Iosif Petrakis PY - 2021 UR - https://arxiv.org/abs/2109.04239 ID - 2109.04239 ER -