4 Oct
2010
4 Oct
'10
7:20 a.m.
On 10/2/2010 10:43 AM, Paul Taylor wrote:
So my suggestion is that you play around with skeletons, bones or even the Grim Reaper for something more suitable.
Along those lines, how about "scythe" for the functor [-,1+1]: C^op --> C? In a Boolean topos this is just the (internal) contravariant power object functor, but more generally it tends to cleave objects into their connected components in a suitable sense. Vaughan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]