bibkey: weibel1994homologicalalgebra authors: “Charles A. Weibel” year: 1994 title: “An Introduction to Homological Algebra” doi: 10.1017/CBO9781139644136 claim: “Chapter 1 gives the standard chain-complex and Euler-characteristic background used for finite-dimensional homology calculations.” strata_touched:

• D5/S3/HomologicalAlgebra/FiniteDimensionalEulerCharacteristic license: citation-only triage: anchor

An Introduction to Homological Algebra

Charles A. Weibel, An Introduction to Homological Algebra, Cambridge University Press, 1994. Chapter 1 provides the standard finite-complex homology and Euler-characteristic context. The repository theorem specializes rank-nullity to an explicit three-term finite-dimensional chain and records the kernel and quotient spaces as Lean types.

No source text or proof body is vendored.

Verified locator

• DOI: https://doi.org/10.1017/CBO9781139644136