论文标题
分级代数理论
Graded Algebraic Theories
论文作者
论文摘要
我们提供了与分级单元相对应的代数理论和律师理论的分级扩展。我们证明，根据类别的等效性，逐步的代数理论，分级的律师理论和排级的单调是等效的，从而扩展了Monads的等效性。我们还提供了分级代数理论的总和和张量产物，以将计算效应结合起来，作为基于代数理论的进口技术的示例。
We provide graded extensions of algebraic theories and Lawvere theories that correspond to graded monads. We prove that graded algebraic theories, graded Lawvere theories, and finitary graded monads are equivalent via equivalence of categories, which extends the equivalence for monads. We also give sums and tensor products of graded algebraic theories to combine computational effects as an example of importing techniques based on algebraic theories to graded monads.
