On Fri, 17 Jun 2016, Waldek Hebisch wrote:
Hmm, OrderedSet is fine. However, OrderedRing, AbelianMonoid etc
is a lie: operations are only partial.
indeed, but I want to have addition in the ordered completion of e.g. the
real numbers. The additive AbelianMonoid is well defined except the case
inf - inf. What would be the appropriate category for this?
Or just do
if R has AbelianMonoid then
+:(%,%) -> %
like in MatrixCategory?
Or define "OneSidedCompletion" with either -inf or inf which would suffice
for maxplus and minplus.
best regards,
Franz
