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.
I’m just here to check the code since there’s no way to check in the editor.
Proof: Take any isomorphism f, let f=gh and hf−1=g′h′ be the unique factorizations. Then id=ghfUnknown characterUnknown characterUnknown character1=(gg′)h′, so h′=id and gg′=id, whence g=id and g′=id since g,g′∈R+. Thus f=h∈RUnknown characterUnknown characterUnknown character. The same argument applied to fUnknown characterUnknown characterUnknown character1 shows that f preserves the degree, hence f=id.
I’m just here to check the code since there’s no way to check in the editor.
Proof: Take any isomorphism f, let f=gh and hf−1=g′h′ be the unique factorizations. Then id=ghfUnknown characterUnknown characterUnknown character1=(gg′)h′, so h′=id and gg′=id, whence g=id and g′=id since g,g′∈R+. Thus f=h∈RUnknown characterUnknown characterUnknown character. The same argument applied to fUnknown characterUnknown characterUnknown character1 shows that f preserves the degree, hence f=id.
For checking code for the nLab best to use the Sandbox page.
The parser here on the nForum does not behave identically to that for nLab pages.
Added:
Monoidal Reedy model structures are discussed in
Added a reference to
I have re-organized and adjusted the section Definition – Plain version (here) to be more systematic.
(It used to start out with a rather pointless “Theorem” stating just that “there exists a model structure with objectwise weak equivalences”, then claimed to explain the “basic idea” but instead incrementally provided the actual definitions. I have turned all that around, added Definition/Proposition-environments etc. and pointers to the literature. )
In this comment, Charles Rezk once said that for 𝒜 an additive model category, the Reedy cofibrations in s𝒜 correspond, under the Dold-Kan correspondence, exactly to the degreewise cofibrations in Ch≥0(𝒜).
In trying to see this in detail, I am looking — given a morphism f•:X•→Y• in s𝒜 — at the diagrams
LrX⟶Xr↓↓LrY⟶LrYLrX⊔Xr⟶Yr↓↓↓0⟶Xr/LrX⟶Yr/LrYHere the top square, the left rectangle and the bottom rectagle are pushouts by definition, whence the pasting law implies first that the left bottom square and then that the right bottom square is a pushout.
By pushout-stability of cofibrations, this yields that:
If f• is Reedy cofibrant in that LrYLrX⊔Xr⟶Yr is a cofibration in 𝒜 for each r
⇒ the induced morphism Xr/LrX⟶Yr/LrY is a cofibration in 𝒜, which is the rth component of the corresponding map of normalized chain complexes.
This gives one direction of the statement. But how about the backwards implication “⇐”?
Re #10: The other implication makes use of the concrete structure of the Dold–Kan functor Γ.
In detail, Γ will free degenerate elements in degree n along all possible degenerate simplicial maps.
This means that the latching object of ΓC in degree n can be computed simply as the inclusion of (ΓC)_n without C_n into (ΓC)_n.
This is an inclusion of a direct summand, therefore the latching map is a cofibration.
This is the argument that LrX→X is a monomorphism in abelian categories. But the claim referred to in #10 is stronger, or even different, isn’t it?
Re #12: It’s not just monomorphism, it’s a split monomorphism, as shown in the construction of the Dold–Kan functor.
More precisely, the latching map for ΓC→ΓD will have the form L_n Y ⊔ C_n → L_n Y ⊔ D_n, so it is a cofibration as long as C_n → D_n is one, which it is by assumption.
1 to 22 of 22