Given a symmetric monoidal base (C, ⊗), the presheaf category [C^op, V] carries a symmetric monoidal structure via the Day coend formula. Extends ⊗ to presheaves; for C = (ℕ, +) the Day convolution is the usual polynomial /…
Given a symmetric monoidal base (C, ⊗), the presheaf category [C^op, V] carries a symmetric monoidal structure via the Day coend formula. Extends ⊗ to presheaves; for C = (ℕ, +) the Day convolution is the usual polynomial /…