Premonoidal category

Last updated Nov 12, 2024

Premonoidal categories are monoidal categories without the interchange law. Premonoidal categories can be defined via binoidal categories.

See also

• interchange law
  • premonoidal categories are monoidal categories without the interchange law
• Binoidal and premonoidal categories
• Premonoidal functor
• Freyd category
  • values and computation
  • copyable and discardable Freyd categories

• Feedback premonoidal category

• unbiased premonoidal category
• Coloring premonoidality

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)
• String Diagrams for Premonoidal Categories (Román, Sobociński, 2023)