# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTim_Porter
• CommentTimeSep 9th 2021

Entry on lattice ordered groups. Work in progress.

• CommentRowNumber2.
• CommentAuthorTim_Porter
• CommentTimeSep 10th 2021

• CommentRowNumber3.
• CommentAuthorTim_Porter
• CommentTimeSep 10th 2021
• (edited Sep 10th 2021)

Added some more material. Note the comment about ordered groups and ordered groupoids … I have not really understood what is going on at that point with the Ehresmann correspondence between ordered groupoids and inverse semi-groups. I do not know, off hand, what an inverse semigroup having a single idempotent element looks like.

• CommentRowNumber4.
• CommentAuthorTim_Porter
• CommentTimeSep 10th 2021

Added that the $\ell$-groups form a variety in the category of residuated lattices.