0P4K Theorem 1.5.1. There is an isomorphism of higher representations A(Z¯)→∼ΔA(Z)A(\bar{Z})\mathrel{\mathop{\kern 0.0pt\to}\limits^{\sim}}\Delta A(Z).