Graded Algebraic Theories-Reference-Cited by-同舟云学术

Graded Algebraic Theories

Published:2020 Issue: Volume: Page:401-421
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Kura Satoshi^ORCID

Abstract

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

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-45231-5_21

Reference29 articles.

1. Berger, C., Melliès, P.A., Weber, M.: Monads with arities and their associatedtheories. Journal of Pure and Applied Algebra 216(8), 2029 – 2048(2012). https://doi.org/10.1016/j.jpaa.2012.02.039, special Issue devoted to the International Conference in Category Theory ‘CT2010’

2. Curien, P., Fiore, M.P., Munch-Maccagnoni, G.: A theory of effects and resources: adjunction models and polarised calculi. In: Bodík, R., Majumdar, R. (eds.) Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20-22, 2016. pp. 44–56. ACM (2016). https://doi.org/10.1145/2837614.2837652

3. Day, B.: On closed categories of functors. In: Reports of the Midwest Category Seminar IV. Lecture Notes in Mathematics, vol. 137, pp. 1–38. Springer, Berlin, Heidelberg (1970)

4. Dorsch, U., Milius, S., Schröder, L.: Graded monads and graded logics for the linear time - branching time spectrum. In: Fokkink, W., van Glabbeek, R. (eds.) 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands. LIPIcs, vol. 140, pp. 36:1–36:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019). https://doi.org/10.4230/LIPIcs.CONCUR.2019.36

5. E. J. Linton, F.: Some aspects of equational categories. In: Proceedings of the Conference on Categorical Algebra. pp. 84–94 (01 1966). https://doi.org/10.1007/978-3-642-99902-4_3

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modular Models of Monoids with Operations;Proceedings of the ACM on Programming Languages;2023-08-30

2. Flexible presentations of graded monads;Proceedings of the ACM on Programming Languages;2022-08-29

3. Flexibly Graded Monads and Graded Algebras;Lecture Notes in Computer Science;2022

4. Graded Hoare Logic and its Categorical Semantics;Programming Languages and Systems;2021