2 papers
math.AT2025
The universal continuous six functor formalism on light condensed anima
Li He
After the universal property of the six functor formalism $\Shv(-;\Sp)$ on locally compact Hausdorff spaces given by Zhu, we show that the six functor formalism $\Shv(-;\Sp)$ on li…
math.CT2025
An internal description of constructible objects in an -topos
Li He
We give an internal description of constructible objects in an -topos. More precisely, -consctructible objects are locally constant objects internal to Fun(,An), for…