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/19 21:21] nikolaj |
cartesian_closed_category [2015/03/28 20:36] nikolaj |
||
---|---|---|---|
Line 3: | Line 3: | ||
| @#FFBB00: definiendum | @#FFBB00: ${\bf C}$ in it | | | @#FFBB00: definiendum | @#FFBB00: ${\bf C}$ in it | | ||
| @#AAFFAA: inclusion | @#AAFFAA: ${\bf C}$ ... category | | | @#AAFFAA: inclusion | @#AAFFAA: ${\bf C}$ ... category | | ||
- | | @#55EE55: postulate | @#55EE55: ${\bf C}$ has a terminal object $*$ | | + | | @#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 $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 | | | @#55EE55: postulate | @#55EE55: For all $Y\in{\bf C}$, the functor $-\times Y$ from ${\bf C}$ to ${\bf C}$ has a right adjoint | | ||