[Haskell-cafe] Re: Wikipedia on first-class object

Jonathan Cast jonathanccast at fastmail.fm
Fri Dec 28 18:59:28 EST 2007

On 28 Dec 2007, at 3:37 AM, Cristian Baboi wrote:

> Thank you.
> It sounds like a limit. xn --> x for n -->  :-)

I could say that LUBs are colimits, not limits, but I won't :)

More seriously, I don't like the calculus --> notation in this  
context; these are suprema, not lims.

> How can I get that maximal value when I start from a non maximal one ?

Take the least upper bound of a maximum set.

> [1 .. ] and x=1:x are maximal ?



More information about the Haskell-Cafe mailing list