可逆单子计算

我们通过考虑幺半闭对合范畴将单子编程的范畴语义扩展至可逆计算：对合给出可逆性，而闭包给出高阶表达力。我们证明 Frobenius 单子通过对 Cayley 定理的强化、通过证明当且仅当单子为 Frobenius 时效应计算（Kleisli 态射）可逆、通过刻画 Eilenberg-Moore 代数中最大的可逆子范畴、以及通过将后者代数辨识为我们量子计算主要示例中的测量，来建模对合与闭包之间适当的相干性概念。强 Frobenius 单子由 Frobenius 幺半群在内部刻画。