Premonoidal categories as categories with algebraic structure

John Power

Research output: Contribution to journalArticlepeer-review

17 Citations (SciVal)

Abstract

We develop the study of previous termpremonoidalnext termprevious termcategoriesnext term. Specifically, we reconcile previous termpremonoidalnext termprevious termcategoriesnext term with the usual study of previous termcategoriesnext term with previous termalgebraicnext termprevious termstructurenext term by adding a little extra previous termstructurenext term. We further give a notion of closedness for a previous termpremonoidalnext termprevious termcategorynext term with such extra previous termstructurenext term, and show that every previous termpremonoidalnext termprevious termcategorynext term fully embeds into a closed one.
Original languageEnglish
Pages (from-to)303-321
Number of pages19
JournalTheoretical Computer Science
Volume278
Issue number1-2
DOIs
Publication statusPublished - 6 May 2002

Bibliographical note

Mathematical foundations of programming semantics (Boulder, CO, 1996)

Fingerprint

Dive into the research topics of 'Premonoidal categories as categories with algebraic structure'. Together they form a unique fingerprint.

Cite this