Timeline for What kinds of operations are well-defined when working with sets, classes, conglomerates, and yet higher order collections?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 29, 2013 at 10:23 | comment | added | arsmath | You're right, function classes is probably a better way to put it. | |
| Jan 28, 2013 at 23:15 | comment | added | David Roberts♦ | It may very well be function 'classes' that cause one to go to higher orders, because one usually has a subobject classifier $2$, and so given pullbacks any mono of sets/classes/etc is the pullback of $true:1 \to 2$. Without function 'classes' one cannot give the power 'class'$\lbrace X \to 2\rbrace$, but the problem is not restricted to this construction. | |
| Jan 28, 2013 at 14:37 | history | answered | arsmath | CC BY-SA 3.0 |