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 = 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/ ]