TY - RPRT TI - Being Van Kampen is a universal property AU - Pawel Sobocinski AU - Tobias Heindel PY - 2011 DO - 10.2168/lmcs-7(1:14)2011 UR - https://arxiv.org/abs/1101.4594 ID - 1101.4594 ER -