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

[wren ng thornton]

On 9/18/10 8:00 AM, Sjoerd Visscher wrote:
>
> 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

pointed objects, pointed sets/groups/topospaces, pointed categories, 
pointed functors, etc aren't all the same though. The Joy of Cats[1] has 
info on all of them except pointed functors.

[1] http://katmat.math.uni-bremen.de/acc/acc.pdf

-- 
Live well,
~wren