Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
New entry: Reedy category with fibrant constants.
Thanks, nice!
Does Prop. 2(2) mean that any elegant Reedy category has fibrant constants, or is there a missing hypothesis that $R$ itself has fibrant constants?
No assumption is missing and hence all elegant Reedy categories have fibrant constants.
In fact, while I was writing this entry I realized that I can’t think of any example of a non-elegant Reedy category with fibrant constants. This makes me wonder whether these notions coincide. It would be quite interesting since fibrant constants seem like a lot weaker condition than elegance.
1 to 4 of 4