Considere las funciones $f : X \to Y$ y $g : Y \to Z$ . Según los artículos de Wikipedia sobre Composición de la función La aplicación de $f$ a una entrada $x$ puede escribirse como $xf$ (a diferencia del habitual $f(x)$ ), y las funciones compuestas pueden escribirse como $fg$ (a diferencia del habitual $g \circ f$ ). Esto se conoce como notación postfija o notación diagramática porque la ecuación $(xf)g = x(fg)$ se mantiene y la función compuesta se puede leer en el siguiente diagrama: $$ X \xrightarrow{f} Y \xrightarrow{g} Z \implies X \xrightarrow{fg} Z $$
Me gustaría un referencia de la revista que utiliza esta notación, preferiblemente explicando brevemente sus ventajas.
Lo que he probado
La referencia más cercana que tengo es " Notación Z ", donde las relaciones $R \subseteq X \times Y$ y $S \subseteq Y \times Z$ puede componerse en orden diagramático utilizando un "punto y coma gordo":
Este uso del punto y coma coincide con la notación para la composición de funciones utilizada (sobre todo por los informáticos) en la teoría de las categorías.
¿Podría tener también un referencia de la revista que utiliza la notación Z?
