faithful

Mathlib.AlgebraicTopology.SimplicialSet.Basic

URI: https://scilib.ai/kg/mathlib#SSet.Truncated.cosk.faithful

English

The coskeleton functor is faithful.

Русский

Функтор коскелетон верно инъективен на морфизмах.

LaTeX

$$$\mathrm{cosk}_n \text{ is Faithful}$$$

Lean4

instance faithful (n) : (Truncated.cosk n).Faithful :=
  SimplicialObject.Truncated.cosk.faithful n

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

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

Разделы

Аффилиация

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