TY - RPRT TI - When does $\operatorname{Ind}_κ(C^I) \simeq \operatorname{Ind}_κ(C)^I$? AU - Simon Henry PY - 2024 UR - https://arxiv.org/abs/2307.06664 ID - 2307.06664 ER -