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

wren ng thornton wren at freegeek.org
Sat Sep 18 18:03:39 EDT 2010

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,

More information about the Haskell-Cafe mailing list