Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
set [2014/12/05 15:21] nikolaj old revision restored (2014/12/05 15:14) |
set [2014/12/05 15:22] nikolaj |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| | @#FFBB00: definiendum | @#FFBB00: ${\bf Set}$ | | | @#FFBB00: definiendum | @#FFBB00: ${\bf Set}$ | | ||
| | @#55EE55: postulate | @#55EE55: $\mathrm{Ob}_{\bf Set}:={\mathfrak U}_\mathrm{Sets}$ | | | @#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 ${\mathfrak U}_\mathrm{Sets}$-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$ | | ||
| Line 25: | Line 25: | ||
| nLab: [[http://ncatlab.org/nlab/show/Trimble+on+ETCS+I|Trimble on ETCS I]], and links therein. | nLab: [[http://ncatlab.org/nlab/show/Trimble+on+ETCS+I|Trimble on ETCS I]], and links therein. | ||
| ==== Parents ==== | ==== Parents ==== | ||
| + | === Requirements === | ||
| + | [[Set universe]] | ||
| === Elements of === | === Elements of === | ||
| [[Locally small category]] | [[Locally small category]] | ||
| === Requirements === | === Requirements === | ||
| - | [[Function]], [[Set universe]] | + | [[Function]] |
