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 CC is pointed, then a zero object *{*} is unique up to equivalence.

See also


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