From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5523 Path: news.gmane.org!not-for-mail From: "Al Vilcius" Newsgroups: gmane.science.mathematics.categories Subject: forms Date: Wed, 13 Jan 2010 12:18:19 -0500 (EST) Message-ID: Reply-To: "Al Vilcius" NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1263478418 3613 80.91.229.12 (14 Jan 2010 14:13:38 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 14 Jan 2010 14:13:38 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Thu Jan 14 15:13:30 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1NVQS0-0001zZ-NM for gsmc-categories@m.gmane.org; Thu, 14 Jan 2010 15:13:29 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NVPwa-00027f-UU for categories-list@mta.ca; Thu, 14 Jan 2010 09:41:01 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5523 Archived-At: Dear Categorists, Please help me relieve my confusion on a simple question: to which category do multilinear maps belong? For example, in vector spaces (k-mod) there are the usual bijective correspondences: X tensor Y ---> Z linear in k-mod ____________________________________ X cartesian Y ---> Z bilinear ____________________________________ X ---> Y hom Z linear in k-mod where do the middle arrows live? Putting Z =3D k , what are the categories of forms? I can't seem to find these discussed (explicitly) anywhere? My questions arose in thinking about a "probe and measure" schema for investigating systems. Thank you in advance for any kind responses. Greatly appreciated. ....... Al Al Vilcius Campbellville, ON, Canada [For admin and other information see: http://www.mta.ca/~cat-dist/ ]