代数效应和处理程序的代数意义是什么？
What is algebraic about algebraic effects and handlers?
摘要：
这说明概括和扩大的内容教程的数学理论的代数影响和处理程序，我给了在Dagstuhl研讨会18172年“Algebraf效果处理程序走向主流”。它的目标大致是一个有一定数学训练的博士生，或者任何已经熟悉代数效应和处理程序作为编程概念的人，他们想知道他们与代数有什么关系。我们在代数和计算效果之间画出一条不间断的思想线。我们从事物的数学方面开始，通过回顾泛代数的经典概念：签名，代数理论及其模型。然后，我们推广和适应的理论，使其适用于计算效果。在最后一步中，我们用一种更接近程序设计语言的符号代替传统的数学符号。
英文摘要：
This note recapitulates and expands the contents of a tutorial on the mathematical theory of algebraic effects and handlers which I gave at the Dagstuhl seminar 18172 "Algebraic effect handlers go mainstream". It is targeted roughly at the level of a doctoral student with some amount of mathematical training, or at anyone already familiar with algebraic effects and handlers as programming concepts who would like to know what they have to do with algebra. We draw an uninterrupted line of thought between algebra and computational effects. We begin on the mathematical side of things, by reviewing the classic notions of universal algebra: signatures, algebraic theories, and their models. We then generalize and adapt the theory so that it applies to computational effects. In the last step we replace traditional mathematical notation with one that is closer to programming languages.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
