Definition 7.25.
Let \(C\) be a category with finite limits and let \(C^{\ad}\subseteq C\) be an admissibility structure. A presentable six-functor formalism is a lax symmetric monoidal functor
\[D\colon \Span(C,C^{\ad}) \longrightarrow \Pr.\]
Higher Topos Theory Section 7.4: Geometries from six-functor formalisms
Definition 7.25.
Let \(C\) be a category with finite limits and let \(C^{\ad}\subseteq C\) be an admissibility structure. A presentable six-functor formalism is a lax symmetric monoidal functor