Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
pointwise_function_product [2015/04/17 15:27] nikolaj |
pointwise_function_product [2015/04/17 15:28] nikolaj old revision restored (2015/04/17 15:19) |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Pointwise function product ===== | ===== Pointwise function product ===== | ||
==== Set ==== | ==== Set ==== | ||
- | | @#55CCEE: context | @#55CCEE: $S$ ... set | | + | | @#55CCEE: context | @#55CCEE: $X$ ... set | |
- | | @#55CCEE: context | @#55CCEE: $\langle\!\langle M,* \rangle\!\rangle$ ... magma | | + | | @#55CCEE: context | @#55CCEE: $\langle\!\langle M,*\rangle\!\rangle$ ... magma | |
- | | @#FFBB00: definiendum | @#FFBB00: $\langle\!\langle M^S,\star \rangle\!\rangle$ | | + | | @#FF9944: definition | @#FF9944: $ \star:(X\to M)\times(X\to M)\to (X\to M) $ | |
- | | @#FF9944: definition | @#FF9944: $\star\in$ binary operation on $M^S$ | | + | | @#FF9944: definition | @#FF9944: $(f\star g)(x):=f(x)*g(x)$ | |
- | | @#FF9944: definition | @#FF9944: $(f\star g)(s):=f(s)*g(s)$ | | + | |
----- | ----- | ||
=== Discussion === | === Discussion === | ||
- | Extends to groups, etc. | + | A binary operation induces a binary operation on the function space of the respective magma. |
- | + | ==== Reference ==== | |
- | >the following could be phrased more explicitly. | + | Wikipedia: [[http://en.wikipedia.org/wiki/Pointwise_product|Pointwise product]] |
- | + | ||
- | 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: | + | |
- | [[http://en.wikipedia.org/wiki/Pointwise_product|Pointwise product]], | + | |
- | [[http://en.wikipedia.org/wiki/Magma_%28algebra%29|Magma]] | + | |
----- | ----- | ||
=== Context === | === Context === | ||
+ | [[Magma]] | ||
+ | === Requirements* === | ||
[[Magma]] | [[Magma]] |