We formalize the concept of sheaves of sets on a model site by considering variables thereof, or motifs, and we construct functorially defined derived algebraic stacks from them, thereby eliminating the necessity to choose derived extensions.
A note on Chern character, loop spaces and derived algebraic geometry
Algebraic Geometry over model categories (a general approach to derived algebraic geometry)
Tannakization in derived algebraic geometry
![QR code for arXiv:1512.02740 [math.AG]](http://oss.arxitics.com/images/favicon.svg)