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.
created Whitehead theorem, including its (oo,1)-topos version
in that context I also created hypercomplete (infinity,1)-topos. maybe that should be merged eventually with hypercompletion.
Original reference added:
1 to 4 of 4