Fundamental pro-groupoids and covering projections
We introduce a new notion of covering projection E → X of a topological space X which reduces to the usual notion if X is locally connected. We use locally constant presheaves and covering reduced sieves to find a pro-groupoid π crs (X) and an induced category pro (π crs (X), Sets) such that for any topological space X the category of covering projections and transformations of X is equivalent to the category pro (π crs (X), Sets). We also prove that the latter category is equivalent to pro (π CX,...