functorCategoryEquivalence_additive

English

The canonical functor equivalence between Action V G and the functor category (SingleObj G) ⥤ V is additive.

Русский

Каноническая эквиваленция между Action V G и категорией функторов (SingleObj G) ⥤ V аддитивна.

LaTeX

$$$\text{Action.functorCategoryEquivalence}(V,G).functor$ is additive$$

Lean4

instance functorCategoryEquivalence_additive : Functor.Additive (functorCategoryEquivalence V G).functor where

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