4 citations · 16 across the 10 of their papers we have counts for
10 papers
Homology manifolds via six functor formalisms
Markus Land, Marco Volpe
We study homology manifolds through the eyes of the six functor formalism of spectral sheaves on locally compact Hausdorff spaces. As main results, we characterize cohomologically…
A characterization of sheaves among six functor formalisms on
Ulrich Bunke, Marco Volpe
Let be any stable presentably symmetric monoidal -category. In this paper, we characterize on locally compact Hausdorff spaces a…
Verdier duality on conically smooth stratified spaces
Marco Volpe
In this paper we prove a duality for constructible sheaves on conically smooth stratified spaces. Here we consider sheaves with values in a stable and bicomplete -category…
The six operations in topology
Marco Volpe
In this paper we show that the six functor formalism for sheaves on locally compact Hausdorff topological spaces, as developed for example in Kashiwara and Schapira's book Sheaves…
Whitney stratifications are conically smooth
Guglielmo Nocera, Marco Volpe
The notion of conically smooth structure on a stratified space was introduced by Ayala, Francis and Tanaka. This is a very well behaved analogue of a differential structure in the…
A general proof certification framework for modal logic
Tomer Libal, Marco Volpe
One of the main issues in proof certification is that different theorem provers, even when designed for the same logic, tend to use different proof formalisms and produce outputs i…