nLab pointed (infinity,1)-category

Definition

Under a pointed $(\infty,1)$-category is often understood an (∞,1)-category that admits a zero object, i.e. an object which is both initial and terminal (this then is unique up to equivalence).

The terminology “pointed $(\infty,1)$-category”, in this sense, is commonly used, for instance, when speaking about stable (∞,1)-categories, which are such pointed $(\infty,1)$-categories with further properties.

If a pointed $(\infty,1)$-category in this sense happens to be just a 1-category, then it is a pointed category.

The same terminological caveat applies as applies to “pointed categories”:

More generally, a pointed (∞,1)-category could be taken to be a pointed object in (∞,1)Categories, i.e. an (∞,1)-category with any of its objects singled out, and with (∞,1)-functors between such pointed $(\infty,1)$-categories required to preserved these chosen objects.

See also

• pointed category, pointed model category

• stable (∞,1)-category

• zero morphism, null homotopy

• based loop space object, reduced suspension object

• Toda bracket

References

• Jacob Lurie, chapter 1 of: Higher Algebra