论文标题
离散的方程理论
Discrete equational theories
论文作者
论文摘要
我们介绍离散的方程理论，其中操作是由具有离散ARITIC的人引起的。我们将相应的单子表征为保存溢流的单元。使用它，我们证明Birkhoff键入离散理论代数类别的定理。这将已知的结果从度量空间扩展到一般对称单体封闭类别。
We introduce discrete equational theories where operations are induced by those having discrete arities. We characterize the corresponding monads as monads preserving surjections. Using it, we prove Birkhoff type theorems for categories of algebras of discrete theories. This extends known results from metric spaces to general symmetric monoidal closed categories.
