Timeline for Adjusting the definition of a well-powered category to category theory with universes: size issues
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 9, 2020 at 10:22 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |
fixed typo
|
| Oct 21, 2019 at 22:08 | comment | added | Mike Shulman | I presume your first bullet point should be defining "$U$-locally-small" and your second "$U$-well-powered"? | |
| Oct 21, 2019 at 17:59 | history | answered | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |