Talk:Cartesian closed category

"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

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)

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)

"Equations"
Cartesian-closed categories are still categories. While these "equations" might make sense when we are talking about algebras, it is quite unusual to introduce "equations" into categorical context. And... they are not equations anyway. I think I'll reformulate it properly into categorical language.

Vlad Patryshev (talk) 14:33, 28 July 2011 (UTC)