Una introducción en la categoría de teoría dice que
Una categoría es una cuádruple $A = (O, \mathrm{hom}, \mathrm{id}, \circ)$ consta de bla-bla y está sujeto a las siguientes condiciones: (a) la composición es asociativa: $$h \circ (g \circ f) = (h \circ g) \circ f,$$ ...
¿Cuál es el punto de este requisito? Si me da el paréntesis de la derecha, $(h \circ g)$ dice que lo primero que presentar algunos $x$ a la derecha $g$. Esta función se convierta $x$ algunos $y$, la cual será presentada a la función $h$. Se sigue automáticamente que el paréntesis no juegan ningún papel: el cálculo de la propagación de derecha a izquierda como si no hay paréntesis. Son transparentes por defecto. Por qué disponer de la cosa, que es inevitable?