Work

Graded Algebraic Theories

Year: 2020

Type: preprint

Abstract: 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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2002.06784

Author: Kura, Satoshi

Institutions: National Institute of Informatics, The Graduate University for Advanced Studies, SOKENDAI

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Exploratory Research for Advanced Technology

Award: G5913768863

OpenAlex ID: W4290421998

Cites:

Cited by: 1

Related to: 10