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.
Hi Dmitri, I see you just made “pointed homotopy class” redirect here. But should it not redirect to “homotopy class”, since it’s about maps, not about spaces? I’ll add a line there to highlight the pointed case.
Now that you added a description of pointed homotopy classes, of course it makes more sense to redirect it there.
I made pointed infinity-groupoid redirect here, to get a link that had been needed for ages in the periodic at k-tuply associative n-groupoid
1 to 3 of 3