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.
added to limit in a quasi-category (in the Properties-section) more details on how the definition in terms of over over-categories is equivalent to the one in terms of homs. But still not done.
more details on statements and proofs in the Properties section of limit in a quasi-category.
But I am running out of timeā¦ arghh
added statement about commutativity of oo-limits (where my crucial contribution is that I dug this out from section 5.5.2 of HTT, where it was hiding ;-)
Also added the statement about how oo-limits of oo-functors are computed objectwise.
I have reorganized the sections at (infinity,1)-limit a little. Check if ou agree that it is better now.
Looks good, thanks.
Added statement and proof that the -category of cones over a diagram is equivalent to the slice over the -limit (if it exists) of the diagram. Here.
added a pointer to
1 to 7 of 7