instHasZeroMorphisms

Mathlib.CategoryTheory.Action.Limits

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

English

There exists a zero morphism for every pair of actions X, Y in Action V G, giving a zero object in each hom-set.

Русский

Для любой пары объектов X, Y в Action V G существует нулевой морфизм, образующий нулевой элемент в каждом множестве морфизмов.

LaTeX

$$$\\text{HasZeroMorphisms}(Action\\,V\\,G)$$$

Lean4

instance : HasZeroMorphisms (Action V G) where

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

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

Разделы

Аффилиация

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