This is an old revision of the document!
Cartesian closed category
Collection
| definiendum | ${\bf C}$ in it |
| inclusion | ${\bf C}$ … category |
| postulate | ${\bf C}$ has a terminal object |
| postulate | For all $X,Y\in{\bf C}$, the product $X\times Y$ exists |
| postulate | For all $Y\in{\bf C}$, the functor $-\times Y$ from ${\bf C}$ to ${\bf C}$ has a right adjoint |
Discussion
Remark/Reminder: $(A\to B^Y)\cong((A\times Y)\to B)$.
Reference
Subset of
Requirements
