组合效果：总和和张量

我们寻求计算效果模块化的统一解释。我们首先使用丰富的Lawvere理论的概念，以及它与强单子的关系，重新构建莫吉的单子范式，以模拟计算效果；这强调了产生效果的操作的重要性。然后，通过适当的分叉器将理论的影响组合在理论类别上。我们给出了计算效果总和的理论，特别是得出了Moggi例外单子变换器和交互式输入/输出单子变换。我们进一步给出了效应的交换组合理论，即它们的张量，它产生了莫吉的副作用单子变压器。最后，我们给出了操作变压器的理论，用于在添加新效果时重新定义操作；我们推导了与上述单体变压器相关联的操作变压器的显式形式。