Premonoidal categories and notions of computation
- 1 February 1997
- journal article
- research article
- Published by Cambridge University Press (CUP) in Mathematical Structures in Computer Science
- Vol. 7 (5) , 453-468
- https://doi.org/10.1017/s0960129597002375
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.Keywords
This publication has 0 references indexed in Scilit: