Re: [Haskell-cafe] Re: Re: Re: Full strict functor by abusing Haskell exceptions

On Sep 17, 2010, at 10:39 PM, Ben Franksen wrote:

What I actually wanted was a mathematical definition, though.

Here's a definition of pointed objects: http://ncatlab.org/nlab/show/pointed+object -- Sjoerd Visscher sjoerd@w3future.com