Timeline for Reference for Reedy weak factorization systems, not Reedy model structure?
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 8 at 7:42 | vote | accept | gksato | ||
| Sep 6 at 0:09 | answer | added | gksato | timeline score: 1 | |
| Jun 3 at 0:41 | comment | added | gksato | @john It has just crossed my mind that I should include some references I have found, so I guess I'd better write it myself. | |
| Jun 3 at 0:31 | comment | added | gksato | @john I reconsidered for a day, and I believe your comment should readily work as an answer. ~Would you mind authoring one, or could I write it in your stead?~ | |
| Jun 2 at 20:16 | comment | added | john | Yes, indeed - weak equivalences all morphisms. | |
| Jun 2 at 5:37 | comment | added | gksato | @TimCampion Thank you so much for your nice suggestions! I've been skimming through Riehl-Verity, Riehl's unpublished note Inductive Presentations of Generalized Reedy Categories, and Shulman's Reedy categories and their generalizations to turn your comment into an answer, but I'm wondering if it's better to make john's comment an answer immediately. | |
| Jun 1 at 23:43 | comment | added | gksato | @john Oh my goodness, it sounds so true. However I suspect the weak equivalences should be all morphisms, not all isomorphisms? | |
| Jun 1 at 11:29 | comment | added | john | Isn’t each weak factorisation system part of a model structure, in which the weak equivs are the isomorphisms? | |
| May 30 at 5:47 | comment | added | Tim Campion | This is probably n Riehl and Verity’s Theory and practice of Reedy categories or in something it cites or which cites it | |
| May 30 at 2:59 | history | asked | gksato | CC BY-SA 4.0 |