Hopf 单子的图示化方法

给定一个具有对偶的对称幺半范畴中的 Hopf 代数，其模范畴继承了具有对偶的幺半范畴结构。如果将代数的概念替换为具有对偶的幺半范畴上的单子 (monad)，那么 Bruguieres 和 Virelizier 展示了模范畴何时继承这种具有对偶的幺半结构，这导致了他们所称的 Hopf 单子。本文表明，存在良好的 dinatural 变换的图示化描述，这使得它们构造的三维、无对象本质变得显而易见。