This is an old revision of the document!
Pointwise function product
Set
| context | $X$ … set |
| context | $\langle\!\langle M,*\rangle\!\rangle$ … magma |
| definition | $ \star:(X\to M)\times(X\to M)\to (X\to M) $ |
| definition | $(f\star g)(x):=f(x)*g(x)$ |
Discussion
A binary operation induces a binary operation on the function space of the respective magma.
Reference
Wikipedia: Pointwise product
Context
Requirements*
