# Differences

This shows you the differences between two versions of the page.

commutative_residuated_partially_ordered_monoids [2019/06/15 06:34] jipsen |
commutative_residuated_partially_ordered_monoids [2019/12/12 08:00] (current) pnotthesamejipsen |
||
---|---|---|---|

Line 8: | Line 8: | ||

$\cdot$ is \emph{commutative}: $xy=yx$ | $\cdot$ is \emph{commutative}: $xy=yx$ | ||

- | Remark: This is a template. | + | Remark: These algebras are also known as \emph{lineales}.[(dePaiva2005)] |

- | If you know something about this class, click on the ``Edit text of this page'' link at the bottom and fill out this page. | + | |

- | | + | |

- | It is not unusual to give several (equivalent) definitions. Ideally, one of the definitions would give an irredundant axiomatization that does not refer to other classes. | + | |

==Morphisms== | ==Morphisms== | ||

Line 17: | Line 14: | ||

$h(x \cdot y)=h(x) \cdot h(y)$, $h(1)=1$, | $h(x \cdot y)=h(x) \cdot h(y)$, $h(1)=1$, | ||

$h(x \to y)=h(x) \to h(y)$, and $x\le y\Longrightarrow h(x)\le h(y)$. | $h(x \to y)=h(x) \to h(y)$, and $x\le y\Longrightarrow h(x)\le h(y)$. | ||

- | |||

- | ====Definition==== | ||

- | A \emph{...} is a structure $\mathbf{A}=\langle A,...\rangle$ of type $\langle | ||

- | ...\rangle$ such that | ||

- | |||

- | $...$ is ...: $axiom$ | ||

- | |||

- | $...$ is ...: $axiom$ | ||

====Examples==== | ====Examples==== | ||

Line 57: | Line 46: | ||

$\begin{array}{lr} | $\begin{array}{lr} | ||

f(1)= &1\\ | f(1)= &1\\ | ||

- | f(2)= &\\ | + | f(2)= &2\\ |

- | f(3)= &\\ | + | f(3)= &5\\ |

- | f(4)= &\\ | + | f(4)= &24\\ |

- | f(5)= &\\ | + | f(5)= &131\\ |

- | \end{array}$ | + | f(6)= &1001\\ |

- | $\begin{array}{lr} | + | |

- | f(6)= &\\ | + | |

f(7)= &\\ | f(7)= &\\ | ||

f(8)= &\\ | f(8)= &\\ | ||

Line 85: | Line 72: | ||

====References==== | ====References==== | ||

- | [(Lastname19xx> | + | [(dePaiva2005> |

- | F. Lastname, \emph{Title}, Journal, \textbf{1}, 23--45 [[MRreview]] | + | V. de Paiva, \emph{Lineales: Algebras and Categories in the Semantics of Linear Logic}, Proofs and Diagrams, CSLI Publications, Stanford, 123-142, 2005, [[https://research.nuance.com/wp-content/uploads/2014/10/Lineales-algebras-and-categories-in-the-semantics-of-Linear-Logic.pdf]])] |

- | )] | + | |

Trace: