bibkey: weibel1994torext authors: “Charles A. Weibel” year: 1994 title: “Tor and Ext” doi: 10.1017/CBO9781139644136.004 claim: “Chapter 3 develops the standard derived-functor framework for Tor and Ext.” strata_touched:

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

Tor and Ext

Charles A. Weibel’s Chapter 3, Tor and Ext, pages 66–90 of An Introduction to Homological Algebra, was published by Cambridge University Press in 1994. It provides literature background for the standard Ext framework used by the pinned Mathlib API.

The chapter does not state the repository’s combined theorem that the explicit rational dual-number residue sequence has a nonzero canonical Ext-one class. No source text or proof body is vendored.

Verified locator

• DOI: 10.1017/CBO9781139644136.004