TY - JOUR
T1 - Premonoidal categories as categories with algebraic structure
AU - Power, John
N1 - Mathematical foundations of programming semantics (Boulder, CO, 1996)
PY - 2002/5/6
Y1 - 2002/5/6
N2 - 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.
AB - 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.
UR - http://dx.doi.org/10.1016/S0304-3975(00)00340-6
U2 - 10.1016/S0304-3975(00)00340-6
DO - 10.1016/S0304-3975(00)00340-6
M3 - Article
VL - 278
SP - 303
EP - 321
JO - Theoretical Computer Science
JF - Theoretical Computer Science
IS - 1-2
ER -