3 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…
math.KT2023
Efimov K-theory and universal localizing invariant
Li He
We give some basic properties of Efimov K-theory. In particular, Efimov K-theory is corepresentable, lax symmetric monoidal functor, preserves any small products and sends Milnor s…