full

Mathlib.AlgebraicTopology.SimplicialSet.Basic

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

English

The coskeleton functor is full.

Русский

Функтор коскелетон полно сохраняет морфизмы.

LaTeX

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

Lean4

instance full (n) : (Truncated.cosk n).Full :=
  SimplicialObject.Truncated.cosk.full n

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

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

Разделы

Аффилиация

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