Premonoidal category
In category theory, a premonoidal category 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.[1]
References
[edit]- ^ Power, John; Robinson, Edmund (1997-10). "Premonoidal categories and notions of computation". Mathematical Structures in Computer Science. 7 (5): 453–468. doi:10.1017/S0960129597002375. ISSN 0960-1295.
{{cite journal}}: Check date values in:|date=(help)
External links
[edit]- Premonoidal category at the nLab