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]])]
-)]+