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