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 have briefly fixed the clause for topological spaces at contractible space, making manifest the distinction between contractible and weakly contractible.
Is it worth an example of a weakly contractible but not contractible space, such as the double comb space?
I don’t have time for it, but if you do, it would sure be worth it.
Ok. I rearranged things as the same thing was being said in two different places.
Thanks!
I have hyperlinked cohesive -groupoid.
1 to 8 of 8