Day convolution

In mathematics, specifically in category theory, Day convolution is an operation on functors that can be seen as a categorified version of function convolution. It was first introduced by Brian Day in 1970 [1] in the general context of enriched functor categories. Day convolution acts as a tensor product for a monoidal category structure on the category of functors over some monoidal category .

Definition

Let be a monoidal category enriched over a symmetric monoidal closed category . Given two functors , we define their Day convolution as the following coend.[2]

If is symmetric, then is also symmetric. We can show this defines an associative monoidal product.

gollark: It's not a condition, it's an extra row on the output, and I can see exactly what it does via `EXPLAIN ANALYZE`.
gollark: Maybe I need a better full text search backend?!
gollark: This is apioform.
gollark: So it works in about 30ms - perfectly okay - *without* the ts_headline, but takes about 30 seconds *with* it.
gollark: It gives a snippet of the page text basically.

References

  1. Day, Brian (1970). "On closed categories of functors". Reports of the Midwest Category Seminar IV, Lecture Notes in Mathematics. 139: 1–38.
  2. Loregian, Fosco (2015). "This is the (co)end, my only (co)friend". p. 51. arXiv:1501.02503 [math.CT].
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.