Graded Algebraic Theories

02/17/2020
by   Satoshi Kura, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

04/13/2018

Morita equivalences between algebraic dependent type theories

We define a notion of equivalence between algebraic dependent type theor...
06/30/2020

Algebraic models of simple type theories: a polynomial approach

We develop algebraic models of simple type theories, laying out a framew...
09/23/2020

Behavioral Specification Theories: an Algebraic Taxonomy

We develop a taxonomy of different behavioral specification theories and...
01/05/2020

A Diagrammatic Calculus for Algebraic Effects

We introduce a new, diagrammatic notation for representing the result of...
07/16/2018

What is algebraic about algebraic effects and handlers?

This note recapitulates and expands the contents of a tutorial on the ma...
05/16/2021

First-Order Reasoning and Efficient Semi-Algebraic Proofs

Semi-algebraic proof systems such as sum-of-squares (SoS) have attracted...
02/18/2020

Integrated Information in Process Theories

We demonstrate how the key notions of Tononi et al.'s Integrated Informa...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.