Fundamental groupoid functor