Timeline for Class of maps in localized category may not be a set
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 26, 2018 at 16:58 | comment | added | Mike Shulman | FWIW, I think Hovey is wrong that there is a foundational problem, as that gives the impression that e.g. some construction might not be possible in ZFC. In fact the only problem is that the resulting category might not be locally small. Granted, many people define a "category" so that it must be locally small, but in this case the problem is still not "foundational" but rather an intrinsic fact about one's choice of definitions: even in a stronger foundational system the same problem would occur. | |
| Jun 26, 2018 at 16:29 | vote | accept | Igor Sikora | ||
| Jun 26, 2018 at 16:26 | answer | added | John Dougherty | timeline score: 7 | |
| Jun 26, 2018 at 16:08 | history | edited | Igor Sikora | CC BY-SA 4.0 |
Corrected spelling
|
| Jun 26, 2018 at 15:46 | history | asked | Igor Sikora | CC BY-SA 4.0 |