Posets for which Verdier duality holds (Q6080079)

For the face poset \ of a locally finite regular CW complex, \textit{J. M. Curry} [J. Pure Appl. Algebra 222, No. 4, 966--993 (2018; Zbl 1481.18017)] established that there exists a canonical equivalence \[ \mathbb{D}:\mathsf{h}\mathrm{D}^{b}\left( \mathrm{Fun}\left( P,\mathsf{Vect} \right) \right) \rightarrow\mathsf{h}\mathrm{D}^{b}\left( \mathrm{Fun} \left( P^{\mathrm{op}},\mathsf{Vect}\right) \right) \] between triangulated categories, where \(\mathsf{Vect}\)\ denotes the category of vector spaces over a field. For a locally compact Hausdorff space \(X\), Lurie [\url{https://people.math.harvard.edu/~lurie/papers/HA.pdf}, \S 5.5.5] states Verdier duality as a canonical equivalence \[ \mathbb{D}:\mathrm{Sh}\mathsf{v}_{\mathsf{Sp}}\left( X\right) \rightarrow \mathsf{c}\mathrm{Sh}\mathsf{v}_{\mathsf{Sp}}\left( X\right) \] between the \(\infty\)-categories of spectrum-valued sheaves and cosheaves. This paper provides a uniform formulation for them, establishing their generalizations. The author's version of the former works over the sphere spectrum and for more general finite posets, which is characterized in terms of the Gorenstein condition. The author's version of the latter claims that the stabilization of a proper separated \(\infty\)-topos is rigid in the sense of \textit{D. Gaitsgory} [Contemp. Math. 643, 127--225 (2015; Zbl 1346.14004)]. As an application to stratified topological spaces, the author clarifies the relation between these two duality equivalence.