Maximum and Minimum monoids
Herbert Valerio Riedel
hvr at gnu.org
Sat Dec 29 01:43:03 CET 2012
Gabriel Gonzalez <gabriel439 at gmail.com> writes:
> Also, it's not clear why something needs to be bounded to have a
> maximum. Real numbers are unbounded, yet you can still take a maximum
> of a set of real numbers.
I just realized what confuses me about this bounded maximum/minimum
definitions: In the math literature I've been exposed to so far (see
also ), to satisify the definition of a maximal/minimal element of
a set that said element has to be actually contained in that set.
So it seems very confusing to me to call the element resulting from
(Ord a, Bounded a) => Monoid (Max a)
with 'Max a' isomorphic to 'a' a proper "maximum" (as it violates the
definition for 'mempty'); on the other hand, the term "supremum"
seems to match the semantics of the Monoid above better.
More information about the Libraries