The Fundamental Pro-groupoid of an Affine 2-scheme. - Alexandru Chirvasitu; Theo Johnson-Freyd (Appl. Categorical Struct., 2013)