Premonoidal category

Last updated Jul 23, 2024

Premonoidal categories are defined via binoidal categories.

See also

• Feedback premonoidal category

• unbiased premonoidal category
• Freyd category
• Coloring premonoidality
• values and computation
• Binoidal and Premonoidal Categories
• interchange law
• Premonoidal functor
• premonoidal categories are monoidal categories without the interchange law

References.

• Premonoidal Categories and a Graphical View of Programs (Jeffrey, 1997)
• Premonoidal Categories and Notions of Computation (Power, Robinson, 1997)
• Environments, continuation semantics and indexed categories (Power, Thielecke)
• Adjunctions whose counits are coequalizers and presentations of finitary enriched monads (Kelly, Power)
• Call-By-Push-Value, A Functional-Imperative Synthesis (Levy, 2004)