Study schematic homotopy types and Kim’s fundamental groups, need higher Tannakian duality of James, or of Lurie.
nLab page on Fundamental groups and higher Tannakian duality