functorCategoryEquivalence_preservesZeroMorphisms

English

The functor-category equivalence functorCategoryEquivalence V G preserves zero morphisms.

Русский

Эквивалентность категорий-функторов functorCategoryEquivalence V G сохраняет нулевые морфизмы.

LaTeX

$$$\\mathrm{PreservesZeroMorphisms}(\\mathrm{Action.functorCategoryEquivalence\\,V\\,G}.\\mathrm{functor})$$$

Lean4

instance functorCategoryEquivalence_preservesZeroMorphisms :
    Functor.PreservesZeroMorphisms (functorCategoryEquivalence V G).functor where

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