instRigidCategoryFunctorSingleObj

English

If V is monoidal and preadditive, then Action V G is monoidal preadditive; the preadditive structure is compatible with the tensor product.

Русский

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

LaTeX

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

Lean4

instance [RigidCategory V] : RigidCategory (SingleObj H ⥤ V) := by infer_instance

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