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 at w3future.com