Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

share|cite|improve this question
@MichaelJoyce, thanks for markup - still learning Tex – alancalvitti May 14 '12 at 1:47
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. – Arturo Magidin May 14 '12 at 1:51
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. – Arturo Magidin May 14 '12 at 1:59
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 – alancalvitti May 14 '12 at 2:02
@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? – alancalvitti May 14 '12 at 2:19
up vote 18 down vote accepted

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.

share|cite|improve this answer
Thank you for the ref – alancalvitti May 14 '12 at 2:20

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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