The fundamental group functor as a Kan extension

EVERAERT, Tomas;Goedecke, Julia;Van der Linden, Tim
(2013) Cahiers de Topologie et Geometrie Differentielle Categoriques — Vol. 54, n° 3, p. 185-210 (2013)

Files

21ThefundamentalgroupfunctorasaKanextension.pdf
  • Open Access
  • Adobe PDF
  • 704.66 KB

Details

Authors
  • EVERAERT, TomasVrije Universiteit Brussel
    Author
  • Goedecke, JuliaUniversity of Cambridge
    Author
  • Author
Abstract
We prove that the fundamental group functor from categorical Galois theory may be computed as a Kan extension.
Affiliations

Citations

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)