Modules in the Category of Schemes

Gives a theory $S$-modules for Morel and Voevodsky's category of algebraic spectra over an arbitrary field $k$. This work also defines universe change functors, as well as other important constructions analogous to those in topology, such as the twisted half-smash product.