Prenormal categories

DOI10.1007/S10485-025-09835-XMaRDI QIDQ6872919zbMATH OpenFDO

Authors Sandra Mantovani, Mariano Messora

Publication date 19 January 2026

Published in Applied Categorical Structures (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10485-025-09835-X

zbMATH Keywords

factorisation systemnormal categoryprenormal categorytrivial objects

Mathematics Subject Classification ID

Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Categorical algebra (18E99) Nonabelian homological algebra (category-theoretic aspects) (18G50) Algebraic monoids (20M32)

Review text

The author's abstract says: ``In this paper we introduce the notion of (pointed) \textit{prenormal category}, modelled after regular categories, but with the key notions of coequaliser and kernel pair replaced by those of cokernel and kernel. This framework provides a natural setting for extending certain classical results in algebra. We study the fundamental properties of prenormal categories, including a characterisation in terms of a factorisation system involving normal epimorphisms, and a categorical version of Noether's so-called `third isomorphism theorem'. We also present a range of examples, with the category of commutative monoids constituting a central one. In the second part of the paper we extend prenormality and its related properties to the non-pointed context, using kernels and cokernels defined relative to a distinguished class of trivial objects.\N\NHere, a pointed category is said to be prenormal if has finite limits and cokernels, and has pullback stable normal epimorphisms. In addition, the authors give three equivalent forms of this definition in terms of pullback stable factorization systems, involving either normal epimorphisms, or morphisms with trivial kernels (playing the role of `monomorphisms'), or both. Then, a number of useful propositions, where the proofs being similar to what is known in slightly different contexts are omitted. Not only nice examples, but also nice counter-examples distinguishing prenormal categories from other types of categories are given. Non-pointed counterparts of all main results are also presented. Futhermore, the paper has a story of a more general notion of semi-prenormality.

Cites work

• A good theory of ideals in regular multi-pointed categories
• A new Galois structure in the category of internal preorders
• Abstract and concrete categories: the joy of cats
• An introduction to regular categories
• Homological algebra in characteristic one
• Homological algebra in strongly non-abelian settings
• Homotopy torsion theories
• scientific article; zbMATH DE number 92857 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1761434 (Why is no real title available?)
• scientific article; zbMATH DE number 2118486 (Why is no real title available?)
• Non-pointed exactness, radicals, closure operators
• On the categorical behaviour of preordered groups
• Pretorsion theories in general categories
• The normal decomposition of a morphism in categories without zeros
• The pointed subobject functor, 3 3 lemmas, and subtractivity of spans
• Torsion theories and coverings of preordered groups
• Torsion theories and radicals in normal categories

Cited in

(1)

• Pretorsion theories in prenormal categories

This page was built for publication: Prenormal categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6872919)