From: Charles Wells <charles@abstractmath.org> Date: Sat, 30 Apr 2011 14:58:14 -0500

In the expression "any x:T->X" the T depends on x.

Why not x depends on T? Having objects prior to maps seems more natural than maps prior to objects.

I would call it "suppression of dependence".

Will try to store that concept away for future reference. Thanks, ... Peter E. -- Telephone 1 360 450 2132. bcc: peasthope at shaw.ca Shop pages http://carnot.yi.org/ accessible as long as the old drives survive. Personal pages http://members.shaw.ca/peasthope/ . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]