Cocycle

Mathlib.Algebra.Homology.HomotopyCategory.HomComplex

URI: https://scilib.ai/kg/mathlib#CochainComplex.HomComplex.Cocycle

English

Cocycle(F,G,n) carries the structure of an abelian group under pointwise addition.

Русский

Cocycle(F,G,n) имеет структуру абелевой группы под поекторной суммой.

LaTeX

$$Cocycle(F,G,n) ∈ AddCommGroup, with addition z1+z2 defined pointwise.$$

Lean4

/-- The type of `n`-cocycles, as a subtype of `Cochain F G n`. -/
def Cocycle : Type v :=
  cocycle F G n

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

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

Разделы

Аффилиация

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