nLab
pointed category

Pointed categories

Definition

A category is sometimes called pointed if it has a zero object (e.g. Quillen 67, II.2 def. 4), i.e. if it has an initial object and a terminal object and they are isomorphic.

(If the morphism from the initial object to the terminal object is not necessarily an isomorphism but just a monomorphism then one speaks also of a quasi-pointed category.)

Every category of pointed objects is a pointed category in this sense, and this is probably the motivation for the terminology.

Beware that the concept of pointed objects in Cat, which may also be called “pointed categories” is more general and more restricted: these are categories with any one object singled out, with functors between them preserving these objects.

Beware also that the concept of well-pointed topos is unrelated.

Properties

Canonical enrichment in pointed sets

Every locally small pointed category is naturally enriched over the category of pointed sets using the smash product as tensor product, (but the converse may fail).

References

  • Daniel Quillen, chapter I, section 2, def. 4 of Homotopical algebra, Lecture Notes in Mathematics 43, Springer-Verlag 1967, iv+156 pp.

Revised on March 9, 2016 04:57:40 by Urs Schreiber (195.37.209.180)