which can be described as follows:
By adjointness and [1]}, we have
\(\big ( {\operatorname{Ex}}N(sA) \big )_n&\cong {{S}\mathrm {et}_{\hspace{-0.85355pt}\Delta }}\big ( \operatorname{Sd}\Delta ^n, N(sA) \big )\\&\cong {{S}\mathrm {et}_{\hspace{-0.85355pt}\Delta }}\big ( N(s_<[n]), N(sA) \big )\\&\cong {{P}\mathrm {o}{S}\mathrm {et}}\big ( s_<[n], sA \big )\,,\) 
