Talk:Cartesian closed category

From Wikipedia, the free encyclopedia

Mathematics Portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	Start Class	High Priority	Field: Foundations, logic, and set theory
Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments. Please add to or update the comments to suggest improvements to the article. Desperately needs references. A longer lead (overview) would also help. Geometry guy 22:21, 16 June 2007 (UTC)

"In cartesian closed categories, a "function of two variables" can always be represented as a "function of one variable". In other contexts, this is known as currying; it has lead to the realization that lambda calculus can be formulated in any cartesian closed category."

Could you please elaborate? Phys 21:09, 7 Mar 2004 (UTC)

I've added a Discussion section and a bit to the Application section; does this help? Adandrews 21 Apr 2005

[edit] vector spaces

I'd suggest to add the remark that vector spaces are monoidal closed (i.e. wrt to the tensor product). --Thorsten 20:35, 7 February 2006 (UTC)