Timeline for Reedy cofibration category structure
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 8 at 12:39 | comment | added | Philippe Gaucher | @PeterLeFanuLumsdaine Indeed, it's Theorem 9.2.4 of Cofibrations in Homotopy Theory. | |
| Oct 8 at 10:44 | comment | added | Peter LeFanu Lumsdaine | I’m pretty sure this is done; off the top of my head I don’t remember where, but it should be mentioned in the bibliography of my paper with Chris Kapulkin Homotopical inverse diagrams in CwA’s. Possibly it’s in work of Kapulkin and/or Szumilo? I don’t have time to search it up now, but can try later if someone else doesn’t find a good source sooner! | |
| Oct 8 at 10:04 | history | asked | Philippe Gaucher | CC BY-SA 4.0 |