Composition
Function composition is an operation that takes as input two functions and returns another function. If the two functions are , the output is denoted . Function composition is defined so that for all inputs . Not every possible pair of functions can be composed - the range of has to be a subset of the domain of . Function composition, wherever it is defined, is always associative, but rarely commutative.
Function composition is generalized to composition of morphisms in category theory.
See also
- Function
- Category theory
- DomainThis article is a stub. Help us out by expanding it.