An internal description of constructible objects in an $\mathrm{\infty }$-topos

We give an internal description of constructible objects in an $\mathrm{\infty }$-topos. More precisely, $P$-consctructible objects are locally constant objects internal to Fun($P$,An), for any noetherian poset $P$.