We prove that the 2-Deligne tensor product of two compact semisimple 2-categories exists. Further, under suitable hypotheses, we explain how to describe the Hom-categories, connected components, and simple objects of a 2-Deligne tensor product. Finally, we prove that the 2-Deligne tensor product of two compact semisimple tensor 2-categories is a compact semisimple tensor 2-category.
No takes yet. Share an insight, caveat, or question.
Thibault D. Décoppet (2023) studied this question.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: