Break `abs` into two aspects

Dannyu NDos ndospark320 at
Wed Jan 29 22:47:05 UTC 2020

I think it's more mathematically clear to define `abs` by U(R) acting on R.
U(R) acts on R via multiplication, which defines an equivalence relation on
R called 'associatedness.'
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list