{{Sources exist|date=October 2024}} In category theory, a '''premonoidal category<ref>{{Cite journal |last1=Anderson |first1=S.O. |last2=Power |first2=A.J. |date=April 1997 |title=A representable approach to finite nondeterminism |journal=Theoretical Computer Science |volume=177 |issue=1 |pages=3–25 |doi=10.1016/s0304-3975(96)00232-0 |issn=0304-3975|doi-access=free }}</ref>''' 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.<ref>{{Cite journal |last1=Power |first1=John |last2=Robinson |first2=Edmund |date=October 1997 |title=Premonoidal categories and notions of computation |url=https://www.cambridge.org/core/product/identifier/S0960129597002375/type/journal_article |journal=Mathematical Structures in Computer Science |language=en |volume=7 |issue=5 |pages=453–468 |doi=10.1017/S0960129597002375 |issn=0960-1295|url-access=subscription }}</ref> They also have a graphical language given by string diagrams with an extra wire going through each box so that they cannot be reordered.<ref>{{Cite journal |last=Jeffrey |first=Alan |date=1998 |title=Premonoidal categories and flow graphs |journal=Electronic Notes in Theoretical Computer Science |volume=10 |pages=51 |doi=10.1016/s1571-0661(05)80688-7 |issn=1571-0661|doi-access=free }}</ref><ref>{{Cite web |last=Jeffrey |first=Alan |date=1997 |title=Premonoidal categories and a graphical view of programs |url=https://www.researchgate.net/publication/228639836}}</ref><ref>{{Cite journal |last=Román |first=Mario |date=2023-08-07 |title=Promonads and String Diagrams for Effectful Categories |journal=Electronic Proceedings in Theoretical Computer Science |volume=380 |pages=344–361 |doi=10.4204/EPTCS.380.20 |arxiv=2205.07664 |issn=2075-2180}}</ref>
== Funny tensor product == The category of small categories <math>\mathbf{Cat}</math> is a closed monoidal category in exactly two ways: with the usual categorical product and with the '''funny tensor product'''.<ref>{{Cite journal |last1=Foltz |first1=F. |last2=Lair |first2=C. |last3=Kelly |first3=G. M. |date=1980-05-01 |title=Algebraic categories with few monoidal biclosed structures or none |url=https://dx.doi.org/10.1016/0022-4049%2880%2990082-1 |journal=Journal of Pure and Applied Algebra |volume=17 |issue=2 |pages=171–177 |doi=10.1016/0022-4049(80)90082-1 |issn=0022-4049|url-access=subscription }}</ref> Given two categories <math>C</math> and <math>D</math>, let <math>C \Rightarrow D</math> be the category with functors <math>F, G : C \to D</math> as objects and '''unnatural transformations''' <math>\alpha : F \Rightarrow G</math> as arrows, i.e. families of morphisms <math>\{ \alpha_X : F(X) \to G(X) \}_{X \in C}</math> 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 <math>\mathbf{Cat}(C \ \Box \ D, D') \simeq \mathbf{Cat}(C, D \Rightarrow D' )</math> for currying. It can be defined explicitly as the pushout of the span <math>(C_0 \times D) \to (C \times D) \leftarrow (C \times D_0)</math> where <math>C_0, D_0</math> are the discrete categories of objects of <math>C, D</math> and the two functors are inclusions. In the case of groups seen as one-object categories, this is called the free product.
== Sesquicategories == The same way we can define a monoidal category as a one-object 2-category, i.e. an enriched category over <math>(\mathbf{Cat}, \times)</math> with the Cartesian product as monoidal structure, we can define a premonoidal category as a one-object '''sesquicategory''',<ref>{{Cite journal |last=Stell |first=John |date=1994 |title=Modelling Term Rewriting Systems by Sesqui-Categories |url=https://ncatlab.org/nlab/files/Stell.pdf |journal=Proc. Catégories, Algèbres, Esquisses et Néo-Esquisses}}</ref> i.e. a category enriched over <math>(\mathbf{Cat}, \Box)</math> 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 <math>(\alpha\circ_0\beta)\circ_1(\gamma\circ_0\delta) = (\alpha\circ_1\gamma)\circ_0(\beta\circ_1\delta)</math>.
== References == <references />
== External links ==
* Premonoidal category, funny tensor product and sesquicategory at the nLab
Category:Categories in category theory