Gaitsgory:preprint:GL.DGcat
Lurie:draft:HigherAlgebra