Cargando…

Graded Algebraic Theories

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

Descripción completa

Detalles Bibliográficos
Autor principal: Kura, Satoshi
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7788601/
http://dx.doi.org/10.1007/978-3-030-45231-5_21