TY - RPRT TI - Marked colimits and higher cofinality AU - Fernando Abellán García PY - 2020 UR - https://arxiv.org/abs/2006.12416 ID - 2006.12416 ER -