*Basic question:* are there (co)homological or sheaf-based tools which might be useful in geometric measure theory?

*Background:* The jumping off point here is a simple analogy - geometric measure theory can be seen as a generalization of the theory of smooth manifolds, where we are generalizing by trying to reduce our regularity assumptions. The analogy is really to complex and algebraic geometry, which can also be seen as generalizations of smooth manifolds, where we either move the machinery into complex or algebraic territory (I know historically this is kind of absurd).

More to the point, there are a lot of tools which elucidate the breakdown or richness of the spaces of study. Specifically, smooth manifolds come associated with a whole set of sheaves which aren't terribly useful (since we can describe the theory richly in terms of more classical notions). Smooth manifolds have a cotangent and tangent sheaf, as well as a structure sheaf (which in the $C^k$ case is the sheaf taking values in the category of real algebras, where the target objects are just $C^k(U)$ for a given $U$ in the category of open sets on $M$). These objects aren't very useful, it seems, because they don't provide any more information in the smooth case than the traditional counterparts. For example, the cotangent sheaf is locally free, meaning there is an identification with covector fields. Another example is that the existence of partitions of unity on the manifold imply that the cohomology of the structure sheaf is vanishing.

However, having built this machinery, it is useful when trying to generalize. For example, when thinking about Riemann surfaces or complex geometry generally, the structure sheaf actually can have non-trivial cohomology which is helpful in understanding the structure of complex manifolds. Similarly, when generalizing away from smooth manifolds and into schemes, the algebraic constructions of the cotangent and tangent sheaves prove to be the right tools for generalization, and coherence/locally free is a useful characteristic when trying to prove that certain schemes are smooth.

Geometric measure theory starts of with a really weak version of an (embedded sub)manifold, namely rectifiable set. The process of building the machinery to do geometry here has this vague analogy to the process building machinery to do geometry in those other "generalizations" of smooth geometry, and it is this analogy I am trying to get at. One of the most useful tools in geometric measure theory is going from a rectifiable set to a current: given a rectifiable set $A$ sitting in $\mathbb{R}^{n+k}$, let $\Omega^n$ be the $n$ forms on $\mathbb{R}^n$. You can go from a set $A$ to a functional $A^*:\Omega^n \to \mathbb{R}; \omega \mapsto \int_{A} \omega$. This is a dualization of $\Omega^n$, and it identifies the rectifiable set $A$ with a current $A^* \in (\Omega^{n})^*$. Another similar tool is move from rectifiable sets to verifolds, where you are associating the set again with a function, this time a measure on the space $R^{n+k}\times G(n,n+k)$.

It seems like the basic game in geometric measure theory is the same as the game in all of these other types of geometry: moving from some underlying set to algebraic constructions on it, and these constructions feel remarkably similar! Are there any useful ways to think about this vague analogy?

My first thought, for example, was to try and associate something similar to a structure sheaf to the rectifiable set, where you are thinking about assigning sobolev spaces based on functions out of the set, or maybe conceptualize a verifold as a functor which goes from the category of open sets to the category (?) of sobelev spaces similarly to what can be done with manifolds. But I'm not sure how either of those would work, or if there is existing work which takes this approach?