nLab implicit infinity-category theory convention

Work on \infty-category and (,1)(\infty,1)-category theory often uses the implicit \infty-category theory convention, leaving out the “\infty” or “(,1)(\infty,1)” symbol in notation and terminology.

In this convention

Etc.

This convention is used for example by Jacob Lurie and often on nLab entries that discuss higher category theory.

(Note that this convention never applies to the names of pages in the Lab; see Naming conventions. That also means that when writing pages using this convention, one must be sure to use the appropriate “pipelinks,” such as <a class='existingWikiWord' href='/nlab/show/%28infinity%2C1%29-topos'>topos</a>.)

Last revised on July 23, 2020 at 15:23:39. See the history of this page for a list of all contributions to it.