We define the notion of superadjunction in the context of supercategories. In particular, we give definitions in terms of counit-unit superadjunctions and hom-space superadjunctions, and prove that these two definitions are equivalent. These results generalize well-known statements in the non-super setting. In the super setting, they formalize some notions that have recently appeared in the literature. We conclude with a brief discussion of superadjunction in the language of string diagrams.
"Monoidal Supercategories and Superadjunction,"
Rose-Hulman Undergraduate Mathematics Journal: Vol. 20
, Article 9.
Available at: https://scholar.rose-hulman.edu/rhumj/vol20/iss1/9