Γ — Mathlib · SciLib

English

The inverse functor to the Dold-Kan equivalence in the additive setting is the Karoubi-internal Γ.

Русский

Обратный функтор кDold-Kan эквивалентности в аддитивном случае — Karoubi-обусловленный Γ.

LaTeX

$$$$ \\Gamma : \\text{ChainComplex } A \\;\\to\\; \\text{SimplicialObject } A $$$$

Lean4

/-- The functor `Γ` for the equivalence is the same as in the pseudoabelian case. -/
def Γ : ChainComplex A ℕ ⥤ SimplicialObject A :=
  Idempotents.DoldKan.Γ

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