Re: on Vaughan and Tom

So what interesting space was first described as the final co-algebra of a functor? [...] I would suggest the one-point compactification of the countable discrete set. (The functor, of course, is 1 + X.)

How about the Cantor set (as the final coalgebra for the endofunctor of Top defined by X |--> X + X )? Tom 24-Nov-2004 20:03:48 -0400,1045;000000000000-00000000