Frobenius Heisenberg categorification (Q2328140)

For any nonnegatively graded Frobenius superalgebra \(F\) with a homogeneous basis, a Nakayama automorphism, an even trace map, a top degree and an integer \(k\), the author associated a strict linear graded monoidal supercategory \(\mathcal{Heis}_{F,k}\) and \(\mathcal{Heis}_{F,k}(R)\), where \(R\) is certain set of homogeneous relations in \(\mathcal{Heis}_{F,k}\). These concepts generalized many special categories and supercategories defined and studied in literatures. As a result, many known categorification result were recovered and geneeralized in a uniform way.