TY - RPRT TI - Lifting bicategories through the Grothendieck construction AU - Juan Orendain PY - 2019 UR - https://arxiv.org/abs/1910.13417 ID - 1910.13417 ER -