Timeline for ($1$-)pullbacks of Kan complexes
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 9, 2020 at 14:50 | vote | accept | Zach Goldthorpe | ||
| Jul 9, 2020 at 13:37 | history | edited | YCor | CC BY-SA 4.0 |
removed capitals from title
|
| Jul 9, 2020 at 6:32 | answer | added | Achim Krause | timeline score: 10 | |
| Jul 9, 2020 at 5:06 | comment | added | David Roberts♦ | It's probably better to try to prove the more general result: Given a commutative cube in $sSet$ where the vertical edges are Kan fibrations except for the 'top left corner' one, and the top and bottom squares are pullbacks, can you prove the last vertical edge is a Kan fibration? That said, I don't know if this is actually true, but it seems that if the special case were true, the more general would be, and likewise if they are false. | |
| Jul 9, 2020 at 4:06 | review | First posts | |||
| Jul 9, 2020 at 4:25 | |||||
| Jul 9, 2020 at 4:00 | history | asked | Zach Goldthorpe | CC BY-SA 4.0 |