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.Comment: Final published version. 26 pages. Dedicated to Rene Guitart on the occasion of his sixty-fifth birthda