EVERAERT, T., Goedecke, J., & Van der Linden, T. (2013). The fundamental group functor as a Kan extension. Cahiers de Topologie et Geometrie Differentielle Categoriques, 54(3), 185-210. https://hdl.handle.net/2078.5/61920 (Original work published 2013)