premonoidal categories are monoidal categories without the interchange law
Premonoidal categories are monoidal categories without the interchange law. This is a statement about their internal languages. The internal language of premonoidal categories is linear do-notation; while the internal language of monoidal categories is linear do-notation quotiented by interchange.