Timeline for Is every left fibration of simplicial sets with nonempty fibers a trivial kan fibration?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 29, 2009 at 4:52 | vote | accept | Harry Gindi | ||
| Dec 29, 2009 at 4:52 | comment | added | Harry Gindi | Oh, then it's all clear now. Thank you. | |
| Dec 29, 2009 at 4:50 | comment | added | Reid Barton | Yeah: X being a Kan complex means X -> * is a fibration, and X being contractible means it is also a weak equivalence, hence an acyclic fibration. | |
| Dec 29, 2009 at 4:46 | comment | added | Harry Gindi | Could you elaborate a little bit on the contractibility part? I still don't see how it factors in, I guess. Is being contractible and kan equivalent to being trivially fibrant? | |
| Dec 29, 2009 at 4:40 | history | answered | Reid Barton | CC BY-SA 2.5 |