Timeline for is the presheaf category of a locally small category locally small?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 14, 2010 at 7:34 | vote | accept | user6082 | ||
| May 13, 2010 at 22:52 | answer | added | Andrej Bauer | timeline score: 3 | |
| May 13, 2010 at 22:47 | comment | added | Martin Brandenburg | doesn't this depend on the precise definition of locally small and SET (e.g. with Grothendieck universes)? I think there are varying answers, depending which definitions you use. | |
| May 13, 2010 at 22:37 | answer | added | Todd Trimble | timeline score: 7 | |
| May 13, 2010 at 20:52 | history | asked | user6082 | CC BY-SA 2.5 |