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 language | English |
|---|---|
| Pages (from-to) | 303-321 |
| Number of pages | 19 |
| Journal | Theoretical Computer Science |
| Volume | 278 |
| Issue number | 1-2 |
| DOIs | |
| Publication status | Published - 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
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS