op

Mathlib.AlgebraicTopology.SimplicialSet.Op

URI: https://scilib.ai/kg/mathlib#SSet.op

Lean4

/-- The image of a simplicial set by the involution `opFunctor : SSet ⥤ SSet`. -/
protected abbrev op (X : SSet.{u}) : SSet.{u} :=
  opFunctor.obj X

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

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

Разделы

Аффилиация

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