**This is an old revision of the document!**

## Pointwise function product

### Set

context | $S$ … set |

context | $\langle\!\langle M,* \rangle\!\rangle$ … magma |

definiendum | $\langle\!\langle M^S,\star \rangle\!\rangle$ |

definition | $\star\in$ binary operation on $M^S$ |

definition | $(f\star g)(s):=f(s)*g(s)$ |

#### Discussion

Extends to groups, etc.

the following could be phrased more explicitly.

Note that $M^S$ can is just another notation for ${\mathrm{Hom}}_{\bf{Set}}(S,M)$. One of the main question of algebra is if a functor $F$ that maps into a a category of structures (like magmas) is representable, i.e. if there is a natural iso between $F$ and an internal Hom-functor.

#### Reference

Wikipedia: Pointwise product, Magma