Remark 5.94.

In the same way, one can show that \(\Shv(\An^{\fin,\op}_*)\) classifies pointed \(\infty\)-connected objects.