Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
cartesian_closed_category [2015/12/17 19:28] nikolaj |
cartesian_closed_category [2015/12/17 19:28] nikolaj |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| ----- | ----- | ||
| === Discussion === | === Discussion === | ||
| - | Remark/Reminder: $(A\to B^Y)\cong((A\times Y)\to B)$. | + | Remark/Reminder: |
| + | |||
| + | $((A\times Y)\to B)\cong(A\to B^Y)$ | ||
| === Reference === | === Reference === | ||
