Timeline for Model category structure on Set without axiom of choice
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 16, 2012 at 1:09 | history | edited | David White | CC BY-SA 3.0 |
Fixed typos
|
| Jan 1, 2010 at 20:17 | history | edited | D.-C. Cisinski | CC BY-SA 2.5 |
underlined non sense
|
| Jan 1, 2010 at 16:55 | comment | added | Mike Shulman | I don't see how Cat and SSet "remain model categories without AC" if you use the "internal lifting property." If those are set-valued homs, then of course saying that map is epic is the same as the usual notion of lifting. And if they're Cat-valued homs, then I don't recall (if anyone knows?) exactly what the epimorphisms are in Cat, but as long as they're surjective on objects then saying that map is epic implies the usual lifting property. And likewise in SSet, since epimorphisms are surjective on 0-simplices. | |
| Jan 1, 2010 at 13:22 | history | answered | D.-C. Cisinski | CC BY-SA 2.5 |