Talk:Cartesian closed category

From Wikipedia, the free encyclopedia

"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)