I read that the arrow notation $x \rightarrow y$ was invented in the 20th century. Who introduced it?

Each map needs both an explicit domain and an explicit codomain (not just a domain, as in previous formulations of set theory, and not just a codomain, as in type theory). -- Lawvere and Rosebrugh Sets for Mathematics, 2003

  • 1
    $\begingroup$ @MichaelJoyce, thanks for markup - still learning Tex $\endgroup$ – alancalvitti May 14 '12 at 1:47
  • 5
    $\begingroup$ Why did you remove the "for functions" on the title? That is what you are asking about, given the quote, right? Arrows are used for a variety of purposes in different settings, so it's important to be clear which setting you are talking about. For example, "$x\to y$" can be used to denote rewriting rules; or implications in the setting of propositional calculus. If you wanted to include things like "functors", then you should add it, not remove all context. $\endgroup$ – Arturo Magidin May 14 '12 at 1:51
  • 4
    $\begingroup$ Then somebody telling you who introduced the notation for material implication would be an acceptable answer? I doubt it sincerely. And by the time the very notion of "functor" was introduced, the arrow was already established as notation for functions, and it was adopted for "functor" as analogy, since a functor is a function between categories. By removing context, you make your question more ambiguous, not better. $\endgroup$ – Arturo Magidin May 14 '12 at 1:59
  • 1
    $\begingroup$ Actually I would be interested in who first used notation for material implication. Sometimes that's written as a double arrow. It's all arrows. Certainly Aristotle didn't use the notation, so I'd like to know any and all applications $\endgroup$ – alancalvitti May 14 '12 at 2:02
  • 1
    $\begingroup$ @ArturoMagidin, can you please explain? on p.198 of R&L Sets for Mathematics, they write: "the operation \implies applied to a pair of statements B, D, gives another statement B \implies D, which is usually read "B implies D" or "if B then D". It is to be distinguished from B |- D, which is a statement about statements" ...I always assumed the latter means meta-statement? $\endgroup$ – alancalvitti May 14 '12 at 2:19

I found some information HERE

Saunders Mc Lane, in Categories for the working mathematician (Springer-Verlag, 1971, p. 29), says: "The fundamental idea of representing a function by an arrow first appeared in topology about 1940, probably in papers or lectures by W. Hurewicz on relative homotopy groups. (Hurewicz, W.: "On duality theorems," Bull. Am. Math. Soc. 47, 562-563) His initiative immediately attracted the attention of R. H. Fox and N. E. Steenrod, whose ... paper used arrows and (implicitly) functors... The arrow f: : X —> Y rapidly displaced the occasional notation f(X) (subset of ) Y for a function.

| cite | improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.