TY - RPRT TI - Adjoining colimits AU - Andrew W. Macpherson PY - 2021 UR - https://arxiv.org/abs/2111.12117 ID - 2111.12117 ER -