Search

A quasi-pointed category in the sense of D. Bourn is a finitely complete category $\mathcal {C}$ having an initial object such that the unique morphism from the initial object to the terminal object is a monomorphism. When instead this morphism is an isomorphism, we obtain a (finitely complete) pointed category, and as it is well known, the structure of zero morphisms in a pointed category determines an enrichment of the category in the category of pointed sets. In this note we examine quasi-pointed categories through the structure formed by the zero morphisms (i.e. the morphisms which factor through the initial object), with the aim to compare this structure with an enrichment in the category of pointed sets. [ABSTRACT FROM AUTHOR]