Lax descent and foliated Verdier duality

Higher categorical methods allow us to view recollements as lax descent data and build a corresponding descent theory governed by an $\infty$-bicategorical theory of limits. We demonstrate some concrete innovations brought along by these new techniques in the classical context of constructib