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 just added a link to Lurie's "What is...?" paper.
But note that that article is about $(\infty, 1)$-categories.
Thanks Adeel! We were indeed lacking that reference.
While David is of course right about what he says above, on the other hand our old and woefully neglected entry ∞-category didn’t really make that clear at all, nor did it really point to (∞,1)-category.
I have now added a few paragraphs to the Idea-section at ∞-category that try to amplify that the term “$\infty$-category” is used to mean two rather different things, and that one of these meaning is discussed not in this entry, but in (∞,1)-category.
I also moved the What is…-reference to (∞,1)-category.
Nice!
1 to 4 of 4