$G:=\infty Grpd$, $E:=(H/X)_\Box$ ($\Box$-closed/étale morphisms over $X$). $Str_G^{loc}(E)=Str_G(E)=Fun^{lex}(G,E)=Shv_{Ind(G^{op})}(E)$ (Remark 1.2.12 DAG V) $(S_L,R_L)$ factorization system on $Str_G(E)$ where $S_R=\{morhisms\, in\, Str_G^{loc}(E)\}=\{\Box-closed\, morphisms\}$ (Theorem 1.3.1 DAG V)