  In this paper we propose an $\infty$-categorical definition of abstract
six-functor formalisms on varieties. Our definition is a variation on Mann's
definition, with the additional requirement of having Grothendieck and
Wirthm\"uller contexts, and recollements. Using Nagata's compactification
theorem, we show that such a six-functor formalism can be given by just
specifying adjoint triples on open immersions and on proper maps, satisfying
certain compatibilities. Moreover, the existence of recollements is equivalent
to a sheaf condition for a Grothendieck topology on the category of "varieties
and spans of open immersions and proper maps". We show that our definition of
six-functor formalism is equivalent to a full subcategory of lax symmetric
monoidal functors from the category of smooth and complete schemes to the
category of stable $\infty$-categories and adjoint triples, and characterise
which lax monoidal functors on complete varieties extend to six-functor
formalisms.
