Author:
POWER JOHN,ROBINSON EDMUND
Abstract
We introduce the notions of premonoidal category and premonoidal
functor, and show how
these can be used in the denotational semantics of programming languages.
We characterize
the semantic definitions of Eugenio Moggi's monads as notions of
computation, exhibit a
representation theorem for our premonoidal setting in terms of monads,
and give a
fibrational setting for the structure.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Cited by
128 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concurrent monads for shared state;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. How to Bake a Quantum Π;Proceedings of the ACM on Programming Languages;2024-08-15
3. Regular planar monoidal languages;Journal of Logical and Algebraic Methods in Programming;2024-06
4. Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences;Documenta Mathematica;2024-05-08
5. Optics for Premonoidal Categories;Electronic Proceedings in Theoretical Computer Science;2023-12-14