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.
The sentence starting with
More slickly…
(here, originating from revision 2)
is wrong with the evident understanding of “groupal category” and the relevant clarification is missing by the underlying link remaining broken.
That’s probably the reason why revision 6 added a remark right below that line, clarifying the situation.
But with that remark in place, the sentence starting with “More slickly…” could/should just be deleted.
Removed another one of Toby Bartels’s incorrect statements:
More slickly, an ordered group is (up to equivalence) a thin groupal category (a groupal -category).
Anonymouse
1 to 3 of 3