Differences
This shows you the differences between two versions of the page.
|
quantales [2017/08/05 13:04] jipsen |
quantales [2017/08/05 13:04] (current) jipsen |
||
|---|---|---|---|
| Line 20: | Line 20: | ||
| $h(x \cdot y)=h(x) \cdot h(y)$ | $h(x \cdot y)=h(x) \cdot h(y)$ | ||
| - | ====Definition==== | ||
| - | An \emph{...} is a structure $\mathbf{A}=\langle A,...\rangle$ of type $\langle | ||
| - | ...\rangle$ such that | ||
| - | $...$ is ...: $axiom$ | ||
| - | |||
| - | $...$ is ...: $axiom$ | ||
| ====Examples==== | ====Examples==== | ||
Trace:
