Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
set [2014/12/05 15:21]
nikolaj
set [2014/12/05 15:22] (current)
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$ |
  
Link to graph
Log In
Improvements of the human condition