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.
1 to 1 of 1
Let be a vertex of a quasicategory . According to the proof of HTT Theorem 2.2.4.1, we can show that for any vertex of . How can we show this? We can see by definition that where is the simplicial category given by the pushout
and is the image of the cone point. Also, what is the natural map that we have
And does this natural map exist whenever, for example in the case , has a terminal object (or strongly terminal object)?
1 to 1 of 1