N — Mathlib · SciLib

English

In the additive setting, the functor N is defined onKaroubi of simplicial objects to Karoubi of chain complexes, respecting the additive structure.

Русский

В аддитивной среде функтор N задаётся на Карауби-объектах симпликциальных объектов в Карауби цепочные комплексы, сохраняючи аддитивную структуру.

LaTeX

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

Lean4

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

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