# Differences

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

commutative_residuated_partially_ordered_monoids [2019/12/10 17:21] pnotthesamejipsen |
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: These algebras are also known as \emph{lineales}.[(dePavia2005)] | + | Remark: These algebras are also known as \emph{lineales}.[(dePaiva2005)] |

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

Line 72: | Line 72: | ||

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

- | [(dePavia2005> | + | [(dePaiva2005> |

- | V. de Pavia, \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]])] | + | 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: