WRSWorld Research StateContribute
WORLD RESEARCH STATE

Eilenberg and Mac Lane: general theory of natural equivalences

Contribution grade

Algebra · FORMALIZATION

Reference score370,000Provisional editorial estimate of this exact contribution; its grade is assessed separately.

What changed

Introduced categories, functors and natural equivalences as a general language for expressing mappings, constructions and naturality across algebra and topology.

Scientific scope

The record is the exact 1945 Transactions of the AMS paper. Earlier uses of related diagrams, later category-theory foundations, enriched or higher categories and categorical logic remain separate.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact 1945 Transactions of the AMS paper. Earlier uses of related diagrams, later category-theory foundations, enriched or higher categories and categorical logic remain separate.

Contributors

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction