Talk:Cartesian closed category

From Wikipedia, the free encyclopedia

WikiProject Mathematics     (Rated Start-Class)
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)

[edit] Heyting algebra

Are Heyting algebras ccc's? I agree that complete Heyting algebras are complete and cocomplete posetal ccc's, but I do not see how to recover the disjunction in the general case, but that may just be me. 130.54.16.83 (talk) 07:24, 5 March 2009 (UTC)