Composition of maps
Concept history
A revision trail for this concept page.
Revision 393
7/10/2026, 1:49:54 PM · Ancient Tree
Concept edited
Compare with revision 392No text changes
1
Given maps $f:X \rightarrow Y$ and $g:Y \rightarrow Z$, their composite $g\circ f:X \rightarrow Z$ is the map defined by2
$$(g\circ f)(x)=g(f(x))\quad\text{for all }x\in X.$$Revision 392
7/10/2026, 1:49:48 PM · Ancient Tree
Concept created
Given maps $f:X \rightarrow Y$ and $g:Y \rightarrow Z$, their composite $g\circ f:X \rightarrow Z$ is the map defined by
$$(g\circ f)(x)=g(f(x))\quad\text{for all }x\in X.$$