The universal continuous six functor formalism on light condensed anima

TL;DR

This paper establishes the initiality of the six functor formalism on light condensed anima among all such formalisms satisfying mild conditions, extending the universal property framework to a new setting.

Contribution

It introduces a universal property characterization of the six functor formalism on light condensed anima, generalizing previous results to a broader context.

Findings

The six functor formalism on light condensed anima is initial among all such formalisms.

Applications demonstrating the utility of this initiality result.

Extension of the universal property of six functor formalism to new categorical settings.

Abstract

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 light condensed anima in the sense of Heyer-Mann is initial among all six functor formalisms $D$ satisfying some mild conditions, and then we present some applications.