nLab
quasi-pointed category

Contents

Idea

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.

Definition

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

References

  • D. Bourn, 3×33\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)