Γ — Mathlib · SciLib

English

The functor Γ is the inverse (up to isomorphism) to N, giving a quasi-inverse in the additive Dold–Kan setting.

Русский

Функтор Γ является обратным к N (в смысле эквивалентности), образуя квазиобратную пару в аддитивной постановке Dold–Kan.

LaTeX

$$$$ \Gamma : \mathrm{Karoubi}(\mathrm{ChainComplex}(C, \mathbb{N})) \to \mathrm{Karoubi}(\mathrm{SimplicialObject}(C)) $$$$

Lean4

/-- The inverse functor `Karoubi (ChainComplex C ℕ) ⥤ Karoubi (SimplicialObject C)` of
the Dold-Kan equivalence for additive categories. -/
@[simp]
def Γ : Karoubi (ChainComplex C ℕ) ⥤ Karoubi (SimplicialObject C) :=
  Γ₂

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