0NY5
Corollary 4.12. Let be a perfect stack, and let be a finite simplicial
set. Then there is canonical equivalence
|
|
|
In other words, the -category of sheaves on the mapping stack is
calculated as the tensor product of
the -categories of sheaves on the simplices.
0NY6
Proof. We calculate by induction on the simplices as an
iterated fiber product of copies of over perfect stacks (by
Proposition 3.24), and apply Theorem 4.7 at each stage.
∎