Abstract
We prove that the fundamental group functor from categorical Galois theory
may be computed as a Kan extension.
may be computed as a Kan extension.
Original language | English |
---|---|
Pages (from-to) | 185-210 |
Number of pages | 26 |
Journal | Cahiers de Topologie et Géométrie Différentielle Catégoriques |
Volume | 54 |
Publication status | Published - 2013 |
Keywords
- categorical Galois theory
- fundamental group
- Kan extension