The fundamental group functor as a Kan extension

arxiv: 1307.0068 · v2 · pith:TBMUZ5HQnew · submitted 2013-06-29 · 🧮 math.CT · math.AT

Tomas Everaert , Julia Goedecke , Tim Van der Linden This is my paper

classification 🧮 math.CT math.AT

keywords extensionfunctorfundamentalgroupcategoricalcomputedgaloisprove

0 comments

read the original abstract

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

This paper has not been read by Pith yet.