General Theory of Natural Equivalences

Eilenberg, S., & MacLane, S. (1945). General Theory of Natural Equivalences. Transactions of the American Mathematical Society, 58(2), 231-294.

Type

Journal article

Intellectual base

Primary research

Year

1945

Volume

58

Issue

2

Pages

231-294

ISSN

0002-9947

DOI

10.2307/1990284

DOI registrant

JSTOR

Link

https://doi.org/10.1090/S0002-9947-1945-0013131-6

Cited from

mathematics

Cited by

4 citations across 4 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Associativity
  • ); category theory (morphism composition is associative by axiom, foundational in Eilenberg-MacLane (1945) theory of natural equivalences

    This sourceThe founding paper of category theory (categories, functors, natural transformations), in which associativity of morphism composition is a defining axiom; Verified; DOI resolves to the correct paper.

• Commutativity
  • In category theory, a commutative diagram expresses that multiple paths from one object to another compose to the same morphism — a generalized form of the commutativity axiom, an idea originating in Eilenberg and Mac Lane (1945) where commuting diagrams are introduced as the natural-equivalence apparatus

    This sourceFounding paper of category theory (category, functor, natural transformation); commuting diagrams appear as the natural-equivalence apparatus — supports the claim that commutative diagrams originate here.

• Isomorphism
  • … Theory of Natural Equivalences", provides the unified language for isomorphism across categories — every category has its own notion of morphism, of isomorphism, and of isomorphism class, and the categorical formulation makes the isomorphism construct a structural primitive across the entire mathematical landscape.

    This source(Foundational paper of category theory, introducing the categories-functors-natural-transformations framework precisely to formalise natural isomorphism as a primary object of study; the categorical formulation generalises the isomorphism construct to any context with a notion of structure and structure-preserving maps, and establishes the natural-versus-unnatural distinction as a structural primitive.)

Domain-specific

• Category theory
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Verification

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Not recorded. Neither this nor any other of the 4 citations of this work carries a recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Links previously used in the corpus

Before the registry existed this work was also linked 1 other way.

• https://doi.org/10.2307/1990284 ×1

Registry ID ref:d35f241d0a01 · see in the full table