TY - RPRT TI - The fundamental group functor as a Kan extension AU - Tomas Everaert AU - Julia Goedecke AU - Tim Van der Linden PY - 2013 UR - https://arxiv.org/abs/1307.0068 ID - 1307.0068 ER -