quasi-pointed category

While a category is a called a pointed category if it has a zero object, i.e. if it has an initial object and a terminal object and both are isomorphic, for a *quasi-pointed category* the last condition is relaxed.

A category is **quasi-pointed** if it has an initial object $0$, a final object $1$ and its unique morphism $0\to 1$ is a monomorphism.

- D. Bourn,
*$3\times 3$ lemma and protomodularity*, J. algebra 236 (2001), 778–795

Revised on March 9, 2016 04:59:10
by Urs Schreiber
(195.37.209.180)