From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6660 Path: news.gmane.org!not-for-mail From: peasthope@shaw.ca Newsgroups: gmane.science.mathematics.categories Subject: Re: Explanations Date: Sun, 1 May 2011 13:27:16 -0800 Message-ID: Reply-To: peasthope@shaw.ca NNTP-Posting-Host: lo.gmane.org X-Trace: dough.gmane.org 1304338177 26447 80.91.229.12 (2 May 2011 12:09:37 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 2 May 2011 12:09:37 +0000 (UTC) Cc: peasthope@shaw.ca To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon May 02 14:09:33 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1QGrwS-0007e8-SG for gsmc-categories@m.gmane.org; Mon, 02 May 2011 14:09:33 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:52756) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1QGruS-0005ni-8I; Mon, 02 May 2011 09:07:28 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1QGruP-0004AR-Gw for categories-list@mlist.mta.ca; Mon, 02 May 2011 09:07:25 -0300 in-reply-to: From: Charles Wells 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/ ]