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