Conservative functors to pointed categories
Abstract
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'.
Related
- Dihedral pointed fusion categories: diagrammatics, 3-cocycle representatives, and planar algebras
- Functors from Lagrangian correspondences for wrapped sheaf categories
- Higher zeroes in pointed infinity-categories
- Finite Composites of the Fibonacci Category with Pointed Fusion Categories
- Frobenius functors and one-sided Hopf algebras in braided monoidal categories
BibTeX
@misc{mantovani2026conservative,
title = {{Conservative functors to pointed categories}},
author = {Sandra Mantovani and Mariano Messora},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.27056},
eprint = {2609.27056},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.27056},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Conservative functors to pointed categories
AU - Sandra Mantovani
AU - Mariano Messora
PY - 2026
DA - 2026/09/22
PB - arXiv
DO - 10.48550/arxiv.2609.27056
UR - https://arxiv.org/abs/2609.27056
AB - 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'.
ER -