nLab
Sandbox

powering of ∞-toposes over ∞-groupoids – section

H((),Maps(limLConst(S ),X)) H(()×limLConst(S ),X) (1) H(lim(()×LConst(S )),X) [[universal colimits]] limH(()×LConst(S ),X) limH((),Maps(LConst(S ),X)Big) H((),limMaps(LConst(S ),X)Big) \begin{array}{lll} & \mathbf{H} \bigg( (-) ,\, Maps \Big( \underset{\longrightarrow}{\lim} \, LConst(S_\bullet) ,\, X \Big) \bigg) \\ & \;\simeq\; \mathbf{H} \Big( (-) \times \underset{\longrightarrow}{\lim} \, LConst(S_\bullet) ,\, X \Big) & \text{ (1) } \\ & \;\simeq\; \mathbf{H} \Big( \underset{\longrightarrow}{\lim} \big( (-) \times LConst(S_\bullet) \big) ,\, X \Big) & \text{ [[universal colimits]] } \\ & \;\simeq\; \underset{\longleftarrow}{\lim} \, \mathbf{H} \big( (-) \times LConst(S_\bullet) ,\, X \big) \\ & \;\simeq\; \underset{\longleftarrow}{\lim} \, \mathbf{H} \Big( (-) ,\, Maps \big( LConst(S_\bullet) ,\, X \big) Big) \\ & \;\simeq\; \mathbf{H} \Big( (-) ,\, \underset{\longleftarrow}{\lim} \, Maps \big( LConst(S_\bullet) ,\, X \big) Big) \end{array}
(1)
(eq:MappingStackAdjunction) (1) here \begin{array}{lll} & (1) \\ & \text{(1)} \\ & \text{ <a href="https://ncatlab.org/nlab/show/terminal+geometric+morphism#DirectImageOfTerminalGeometricMoprhismIsHomOutOfTerminalObject">here</a>} \end{array}

For the first statement:

H(X,Maps(LConst(S),A)) H(X×LConst(S),Abig) H(LConst(S),Maps(X,A)) Grpd infy(S,ΓMaps(X,A)) Grpd infy(S,H(X,A)) \begin{array}{lll} \mathbf{H} \Big( X ,\, Maps \big( LConst(S) ,\, A \big) \Big) & \;\simeq\; \mathbf{H} \big( X \times LConst(S) ,\, A big) \\ & \;\simeq\; \mathbf{H} \Big( LConst(S) ,\, Maps \big( X ,\, A \big) \Big) \\ & \;\simeq\; Grpd_\infy \Big( S ,\, \Gamma \, Maps \big( X ,\, A \big) \Big) \\ & \;\simeq\; Grpd_\infy \Big( S ,\, \mathbf{H} \big( X ,\, A \big) \Big) \end{array}

Last revised on October 18, 2021 at 06:02:47. See the history of this page for a list of all contributions to it.