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.
at Postnikov tower in the section Construction for simplicial sets I made explicit three different models. Two of them were discussed there before, the third I have now added. Briefly. Deserves to be expanded.
I had gotten myself mixed up about some fibration issue the other day, so I will speak out loud the following here before adding it to the entry:
consider f:X→Y a morphism of strict ∞/ω-groupoids (globular sets equipped with etc.).
Then for n∈ℕ the n-image/(n−1)-relative Postnikov stage of f is presented by the strict ∞-groupoid imn(f) such that
the (k<n−1)-morphisms are those of X;
the (k=n−1)-morphisms are equivalence classes of those of X, with two regarded as equivalent if their images under f coincide;
the (k≥n)-morphisms are those of Y.
I hope I got this right now…
Have added it to the entry in a new section Constructions – For strict omega-groupoids.
I gave Postnikov tower an Idea-section
I have added discussion of a concrete model for the relative Postnikov tower of a chain map of chain complexes, regarded as a map of Kan-complexes under the Dold-Kan correspondence, here
1 to 5 of 5