forget_preservesZeroMorphisms

Mathlib.CategoryTheory.Action.Limits

URI: https://scilib.ai/kg/mathlib#Action.forget_preservesZeroMorphisms

English

The forgetful functor forget V G preserves zero morphisms.

Русский

Функтор забывания forget V G сохраняет нулевые морфизмы.

LaTeX

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

Lean4

instance forget_preservesZeroMorphisms : Functor.PreservesZeroMorphisms (forget V G) where

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

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

Разделы

Аффилиация

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