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

Li He

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