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:
Added:
The simplicial version is due to Daniel M. Kan, see Theorem 7.2 in
added pointer to:
and this one:
added pointer to:
1 to 8 of 8