Definimos categorías 2 de haces perversos microlocales (resp. coherentes) de categorías sobre el esqueleto de una variedad hipertórica y mostramos que los generadores de estas categorías 2 elevan los proyectivos (resp. simples) en la categoría hipertórica \({O}.\) Luego establecemos equivalencias de categorías 2 que categorifican la dualidad de Koszul entre categorías hipertóricas galeanas \({O}.\) Estas construcciones proporcionan un prototipo para entender la dualidad simpléctica a través de la conjetura de simetría espejo 3d totalmente extendida.
Gammage et al. (Jue,) estudiaron esta cuestión.