N — Mathlib · SciLib

English

The functor N from Simplicial objects to Chain complexes is given by the normalized Moore complex.

Русский

Функтор N от симплициальных объектов к цепным комплексам задаётся нормализованным Moore-комплексом.

LaTeX

$$$$ N = \\text{normalizedMooreComplex}(A). $$$$

Lean4

/-- The functor `N` for the equivalence is `normalizedMooreComplex A` -/
def N : SimplicialObject A ⥤ ChainComplex A ℕ :=
  AlgebraicTopology.normalizedMooreComplex A

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