Timeline for The definition of Reedy category
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 28, 2014 at 6:23 | comment | added | Mike Shulman | Thanks! I think it isn't necessary to check all the squares by hand; it should be enough to observe that $R$ also admits a Reedy structure in the usual sense if you remove $1\to 2$ from $R^+$, and use the fact that unique factorizations are automatically functorial. So this is also an easy example of my claim that if you shrink $R^+$ and $R^-$ you can make the factorizations unique. | |
| Jul 28, 2014 at 6:19 | vote | accept | Mike Shulman | ||
| Jul 28, 2014 at 3:33 | history | answered | Charles Rezk | CC BY-SA 3.0 |