Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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.
1 to 5 of 5