Example 6.100.
One can show that an anima \(X \in \An\) is \(n\)-coherent if and only if \(\pi_0(X)\) is finite and \(\pi_i(X,x)\) is finite for every base point \(x\) and every \(1 \leq i \leq n\); this can for example be proved using Proposition 6.105 below. Any anima is locally coherent, since it may be covered by points, which are coherent.