Skip to main content
3 of 4
added 36 characters in body

History of "natural transformations"

(Edited after Carlo's response.)

It is often claimed that the notion of natural transformations existed in mathematical vocabulary long before it had a definition. In fact, I quoted the statement in italic from [1, p. 2]. As another example, in [2, p. 70] Ralf Kromer says: The claim is that there was, at the time when [3] was written, a current informal parlance consisting in calling certain transformations natural and that Mac Lane and Eilenberg tried (and succeeded) to grasp this informal parlance mathematically.

Three years after [3], Eilenberg and Maclane discovered the fact that this notion could be mathematically defined in [4].

However, Ralf Kromer casts doubt on the above mentioned claim, due to lack of evidence (see: [2, p. 70]).

My question is, can you supply an evidence of use of the notion of natural transformations in mathematical literature prior to [3]?

References:

  1. Peter Freyd: Abelian Categories (1964).
  2. Ralf Kromer: Tool and Object: a history and philosophy of category theory (2007).
  3. Samuel Eilenberg and Saunders Maclane: Group extensions and homology, Annals Math. (2) 43, p.p. 757–831 (1942).
  4. Samuel Eilenberg and Saunders Maclane: General theory of natural transformations, Trans. AMS, 58, p.p.: 231-294 (1945).