Spahn étale topos (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

$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)