18 Sep
2010
18 Sep
'10
6:03 p.m.
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