  Assume that $R$ is a non-right perfect ring. Then there is a proper class of
classes of (right $R$-) modules closed under transfinite extensions lying
between the classes $\mathcal P _0$ of projective modules, and $\mathcal F _0$
of flat modules. These classes can be defined as variants of the class
$\mathcal F \mathcal M$ of absolute flat Mittag-Leffler modules: either as
their restricted versions (lying between $\mathcal P _0$ and $\mathcal F
\mathcal M$), or their relative versions (between $\mathcal F \mathcal M$ and
$\mathcal F _0$). In this survey, we will deal with applications of these
classes in relative homological algebra and algebraic geometry.
  The classes $\mathcal P _0$ and $\mathcal F _0$ are known to provide for
approximations, and minimal approximations, respectively. We will show that the
classes of restricted flat relative Mittag-Leffler modules, and flat relative
Mittag-Leffler modules, have rather different approximation properties: the
former classes always provide for approximations, but the latter do not, except
for the boundary case of $\mathcal F _0$.
  The notion of an (infinite dimensional) vector bundle is known to be Zariski
local for all schemes, the key point of the proof being that projectivity
ascends and descends along flat and faithfully flat ring homomorphisms,
respectively. We will see that the same holds for the properties of being a
$\kappa$-restricted flat Mittag-Leffler module for each cardinal $\kappa \geq
\aleph_0$, and also a flat $\mathcal Q$-Mittag-Leffler module whenever
$\mathcal Q$ is a definable class of finite type. Thus, as in the model case of
vector bundles, Zariski locality holds for flat quasi-coherent sheaves induced
by each of these classes of modules. Moreover, we will see that the notion of a
locally $n$-tilting quasi-coherent sheaf is Zariski local for all $n \geq 0$.
