forget₂_preservesZeroMorphisms

Mathlib.CategoryTheory.Action.Limits

URI: https://scilib.ai/kg/mathlib#Action.forget₂_preservesZeroMorphisms

English

The forget₂ functor from Action V G to V preserves zero morphisms.

Русский

Функтор forget₂ (Action V G) → V сохраняет нулевые морфизмы.

LaTeX

$$$\\mathrm{PreservesZeroMorphisms}(\\mathrm{forget}_{2}(Action\\,V\\,G)\\; V)$$$

Lean4

instance forget₂_preservesZeroMorphisms [HasForget V] : Functor.PreservesZeroMorphisms (forget₂ (Action V G) V) where

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru