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 10:46 | comment | added | Todd Trimble | I meant not with regard to your counter-example, but with regard to your plea at the end (but maybe you understood that's what I meant! :-) | |
| May 14, 2010 at 7:34 | vote | accept | user6082 | ||
| May 14, 2010 at 6:55 | comment | added | Andrej Bauer | I looked after you posted your answer (I was writing mine when yours arrived). I just wanted to give as easy a counter-example as possible. | |
| May 14, 2010 at 2:39 | comment | added | Todd Trimble | Andrej, did you take a look at the Freyd-Street paper? Because their construction is quite explicit and concrete: see their definition of a functor "T". | |
| May 13, 2010 at 22:52 | history | answered | Andrej Bauer | CC BY-SA 2.5 |