He leído que la notación de flecha $x \rightarrow y$ se inventó en el siglo XX. ¿Quién lo introdujo?
Cada mapa necesita un dominio explícito y un codominio explícito (no sólo un dominio, como en las formulaciones anteriores de la teoría de conjuntos, y no sólo un codominio, como en la teoría de tipos). -- Lawvere y Rosebrugh Conjuntos para Matemáticas , 2003