Hostname: page-component-cd9895bd7-hc48f Total loading time: 0 Render date: 2024-12-25T20:06:21.100Z Has data issue: false hasContentIssue false
  • English
  • Français

Premonoidal categories and notions of computation

Published online by Cambridge University Press:  01 October 1997

JOHN POWER  and
EDMUND ROBINSON
JOHN POWER
Affiliation:
Department of Computer Science, University of Edinburgh, King's Buildings, Edinburgh EH9 3JZ, Scotland
EDMUND ROBINSON
Affiliation:
Department of Computer Science, Queen Mary and Westfield College, University of London, Mile End Road, London E1 4NS, UK
Get access Rights & Permissions [Opens in a new window]

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.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 7 , Issue 5 , October 1997 , pp. 453 - 468
Copyright
1997 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)