2 problems

Locally finite satellite conjecture. The left satellites are naturally isomorphic to singular homology:

Pro-homology conjecture. On the standard site $OPEN(X)$, if $X$ is Hausdorff paracompact, then