An enhanced six-functor formalism for diamonds and v-stacks
This article extends Scholze's six functor formalism for diamonds to a very general class of stacky morphisms between v-stacks, using $\infty$-categorical techniques developed by Liu-Zheng.