Timeline for Is every accessible category well-powered?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 22, 2019 at 16:45 | comment | added | Mike Shulman | Of course! I was fixated on the accessible category not being closed under limits in the presheaf category in which it embeds, but of course it's enough for the inclusion to preserve limits, which the restricted Yoneda embedding does. | |
| Feb 22, 2019 at 16:44 | vote | accept | Mike Shulman | ||
| Feb 22, 2019 at 9:29 | history | edited | Simon Henry | CC BY-SA 4.0 |
deleted 3 characters in body
|
| Feb 22, 2019 at 9:08 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 666 characters in body
|
| Feb 22, 2019 at 8:43 | history | answered | Simon Henry | CC BY-SA 4.0 |