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.
The article claims that
This convention is used for example by Jacob Lurie
Really? Where exactly? Higher Topos Theory, Higher Algebra, SAG, and Kerodon do not use this convention.
Work on ∞-category and (∞,1)-category theory often uses the implicit ∞-category theory convention
Is “often” actually true? The usage appears to be marginal at best.
often on nLab entries that discuss higher category theory.
Ditto. Do we have any articles remaining that still use this convention?
Also, the sentence
That also means that when writing pages using this convention, one must be sure to use the appropriate “pipelinks,” such as
[[(infinity,1)-topos|topos]]
.)
seems to imply that it’s okay to write new articles using this convention. Is this something we want to encourage?
1 to 2 of 2