pointed (infinity,1)-category

A **pointed (infinity,1)-category** is an (infinity,1)-category that admits a zero object, i.e. an object ${*}$ which is both initial and final.

If $C$ is pointed, then a zero object ${*}$ is unique up to equivalence.

- Jacob Lurie, Higher Algebra, chapter 1.

Created on February 6, 2014 at 12:32:04. See the history of this page for a list of all contributions to it.