从声明性 skein TQFT 得到的双模范畴

对于每个 braided category $\mathcal{C}$，我们展示在 mild 假设下，该范畴与“半编套代数”及其内部的双模范畴相关联，不仅是 monoidal，甚至是 braided 和 balanced。我们在 $\mathcal{C}$ 为 ribbon Hopf 代数模块范畴的情况下使用此 construction 来解释声明性 skein 作为一种 TQFT，namely 一个从 cobordism 范畴到这些代数及其双模范畴的 braided balanced functor。虽然我们的 construction 在完全通用性下工作，但我们在有限维 ribbon 可因子化 Hopf 代数的特殊情况下，将声明性 skein functor 与 Kerler-Lyubashenko TQFT 联系起来，通过将前者解释为后者的“endomorphisms”来实现。