===== Cartesian closed category =====
==== Collection ====
| @#FFBB00: definiendum | @#FFBB00: ${\bf C}$ in it |
| @#AAFFAA: inclusion   | @#AAFFAA: ${\bf C}$ ... category |
| @#55EE55: postulate   | @#55EE55: ${\bf C}$ has a terminal object |
| @#55EE55: postulate   | @#55EE55: For all $X,Y\in{\bf C}$, the product $X\times Y$ exists  |
| @#55EE55: postulate   | @#55EE55: For all $Y\in{\bf C}$, the functor $-\times Y$ from ${\bf C}$ to ${\bf C}$ has a right adjoint |

-----
=== Discussion ===
Remark/Reminder: 

$((A\times Y)\to B)\cong(A\to B^Y)$

=== Reference ===
nLab: [[http://en.wikipedia.org/wiki/Cartesian_closed_category|Cartesian closed category]]

-----
=== Subset of ===
[[Categories]]
=== Requirements ===
[[Terminal morphism]],
[[Product . category theory]],
[[Counit-unit adjunction]]