点付き圏への保守的関手から得る圏論の定理

Many results in categorical algebra rely fundamentally on pointedness, yet numerous categories of mathematical interest are not pointed. Building on ideas from the theory of ideally exact categories, recently introduced by G. Janelidze, we investigate the extent to which constructions and results from pointed contexts can be extended to categories admitting suitable forgetful functors to pointed categories. We introduce the notion of a propointed category, described as a category admitting a conservative right-adjoint functor to a pointed lex category, and give an intrinsic characterisation of this notion. We then investigate and characterise the cases in which the target of the given functor is pointed protomodular, homological, or normal, and establish within these settings generalisations of classical results - including the short five lemma, the nine lemma, and Noether's isomorphism theorems - as well as a well-behaved notion of ideal of an object. We also prove that the 2-category of pointed lex categories is 2-reflective in the 2-category of lex categories with an initial object, the reflection being given by the slice over the initial object, which thus provides a universal 'pointification'.