This is the
talk page for discussing improvements to the
Cartesian closed category article. This is not a forum for general discussion of the article's subject. |
Article policies
|
Find sources: Google ( books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
![]() | This ![]() It is of interest to the following WikiProjects: | ||||||||||
|
"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."
I've added a Discussion section and a bit to the Application section; does this help? Adandrews 21 Apr 2005
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)
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)
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.