Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
set [2014/12/05 15:14] nikolaj |
set [2014/12/05 15:21] nikolaj old revision restored (2014/12/05 15:14) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Set ===== | ===== Set ===== | ||
| ==== Category ==== | ==== Category ==== | ||
| + | | @#55CCEE: context | @#55CCEE: ${\mathfrak U}_\mathrm{Sets}$ ... set universe | | ||
| | @#FFBB00: definiendum | @#FFBB00: ${\bf Set}$ | | | @#FFBB00: definiendum | @#FFBB00: ${\bf Set}$ | | ||
| - | | @#55EE55: postulate | @#55EE55: $\mathrm{Ob}_{\bf Set}$ ... set universe | | + | | @#55EE55: postulate | @#55EE55: $\mathrm{Ob}_{\bf Set}:={\mathfrak U}_\mathrm{Sets}$ | |
| | @#AAFFAA: inclusion | @#AAFFAA: ${\bf Set}$ ... locally small category | | | @#AAFFAA: inclusion | @#AAFFAA: ${\bf Set}$ ... locally small category | | ||
| | @#55EE55: postulate | @#55EE55: $f\in{\bf Set}[X,Y]\ \ \Leftrightarrow\ \ f:X\to Y$ | | | @#55EE55: postulate | @#55EE55: $f\in{\bf Set}[X,Y]\ \ \Leftrightarrow\ \ f:X\to Y$ | | ||
