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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
