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 [[(infinity,1)-topos|topos]].)

Revised on January 14, 2012 10:48:43 by Toby Bartels (71.29.67.53)