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 $[\mathbf {C} ,V]$ over some monoidal category $V$ .

Definition

Let $(\mathbf {C} ,\otimes _{c})$ be a monoidal category enriched over a symmetric monoidal closed category $(V,\otimes )$ . Given two functors $F,G\colon \mathbf {C} \to V$ , we define their Day convolution as the following coend.[2]

F\otimes _{d}G=\int ^{x,y\in \mathbf {C} }\mathbf {C} (x\otimes _{c}y,-)\otimes Fx\otimes Gy

If $\otimes _{c}$ is symmetric, then $\otimes _{d}$ is also symmetric. We can show this defines an associative monoidal product.

{\begin{aligned}&(F\otimes _{d}G)\otimes _{d}H\\[5pt]\cong {}&\int ^{c_{1},c_{2}}(F\otimes _{d}G)c_{1}\otimes Hc_{2}\otimes \mathbf {C} (c_{1}\otimes _{c}c_{2},-)\\[5pt]\cong {}&\int ^{c_{1},c_{2}}\left(\int ^{c_{3},c_{4}}Fc_{3}\otimes Gc_{4}\otimes \mathbf {C} (c_{3}\otimes _{c}c_{4},c_{1})\right)\otimes Hc_{2}\otimes \mathbf {C} (c_{1}\otimes _{c}c_{2},-)\\[5pt]\cong {}&\int ^{c_{1},c_{2},c_{3},c_{4}}Fc_{3}\otimes Gc_{4}\otimes Hc_{2}\otimes \mathbf {C} (c_{3}\otimes _{c}c_{4},c_{1})\otimes \mathbf {C} (c_{1}\otimes _{c}c_{2},-)\\[5pt]\cong {}&\int ^{c_{1},c_{2},c_{3},c_{4}}Fc_{3}\otimes Gc_{4}\otimes Hc_{2}\otimes \mathbf {C} (c_{3}\otimes _{c}c_{4}\otimes _{c}c_{2},-)\\[5pt]\cong {}&\int ^{c_{1},c_{2},c_{3},c_{4}}Fc_{3}\otimes Gc_{4}\otimes Hc_{2}\otimes \mathbf {C} (c_{2}\otimes _{c}c_{4},c_{1})\otimes \mathbf {C} (c_{3}\otimes _{c}c_{1},-)\\[5pt]\cong {}&\int ^{c_{1}c_{3}}Fc_{3}\otimes (G\otimes _{d}H)c_{1}\otimes \mathbf {C} (c_{3}\otimes _{c}c_{1},-)\\[5pt]\cong {}&F\otimes _{d}(G\otimes _{d}H)\end{aligned}}

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

Day, Brian (1970). "On closed categories of functors". Reports of the Midwest Category Seminar IV, Lecture Notes in Mathematics. 139: 1–38.
Loregian, Fosco (2015). "This is the (co)end, my only (co)friend". p. 51. arXiv:1501.02503 [math.CT].

External links

https://ncatlab.org/nlab/show/Day+convolution

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[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].