The fundamental group functor as a Kan extension

Abstract

We prove that the fundamental group functor from categorical Galois theory may be computed as a Kan extension.

Final published version. 26 pages. Dedicated to Rene Guitart on the occasion of his sixty-fifth birthday

References in corpus (2)

• On satellites in semi-abelian categories: Homology without projectives
• On satellites in arbitrary categories