Talk:Cartesian closed category
Add topic| This is the talk page for discussing improvements to the Cartesian closed category article. This is not a forum for general discussion of the subject of the article. |
Article policies
|
| Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
 | This  level-5 vital article is rated C-class on Wikipedia's content assessment scale.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."
- 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
[edit]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
[edit]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"
[edit]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.