TY - RPRT TI - Van Kampen Colimits and Path Uniqueness AU - Harald König AU - Uwe Wolter PY - 2018 DO - 10.23638/lmcs-14(2:5)2018 UR - https://arxiv.org/abs/1710.09784 ID - 1710.09784 ER -