instMonoidalPreadditive — Mathlib

English

If V is Monoidal and Preadditive, then Action V G is Monoidal Preadditive; addition of morphisms is compatible with the monoidal structure.

Русский

Если V моноидальна и прeаддитивна, то Action V G моноидально прeаддитивна; сложение морфизмов совместимо с моноидальной структурой.

LaTeX

$$$\text{MonoidalPreadditive}(\mathrm{Action}(V,G))$$$

Lean4

instance : MonoidalPreadditive (Action V G) where

Похожие утверждения