In category theory, a premonoidal category[1] is a generalisation of a monoidal category where the monoidal product need not be a bifunctor, but only to be functorial in its two arguments separately.
This is in analogy with the concept of separate continuity in topology.
Premonoidal categories naturally arise in theoretical computer science as the Kleisli categories of strong monads.
[2] They also have a graphical language given by string diagrams with an extra wire going through each box so that they cannot be reordered.
[3][4][5] The category of small categories
is a closed monoidal category in exactly two ways: with the usual categorical product and with the funny tensor product.
[6] Given two categories
be the category with functors
as objects and unnatural transformations
as arrows, i.e. families of morphisms
which do not necessarily satisfy the condition for a natural transformation.
The funny tensor product is the left adjoint of unnatural transformations, i.e. there is a natural isomorphism
It can be defined explicitly as the pushout of the span
are the discrete categories of objects of
and the two functors are inclusions.
In the case of groups seen as one-object categories, this is called the free product.
The same way we can define a monoidal category as a one-object 2-category, i.e. an enriched category over
with the Cartesian product as monoidal structure, we can define a premonoidal category as a one-object sesquicategory,[7] i.e. a category enriched over
with the funny tensor product as monoidal structure.
This is called a sesquicategory (literally, "one-and-a-half category") because it is like a 2-category without the interchange law
δ ) = ( α