Every topos has an optimal noetherian form

arXiv2304.03814MaRDI QIDQ6432464FDOQ6432464

Francois Koch van Niekerk, Zurab Janelidze

Publication date: 7 April 2023

Abstract: The search, of almost a century long, for a unified axiomatic framework for establishing homomorphism theorems of classical algebra (such as Noether isomorphism theorems and homological diagram lemmas) has led to the notion of a `noetherian form', which is a generalization of an abelian category suitable to encompass categories of non-abelian algebraic structures (such as non-abelian groups, or rings with identity, or cocommutative Hopf algebras over any field, and many others). In this paper, we show that, surprisingly, even the category of sets, and more generally, any topos, fits under the framework of a noetherian form. Moreover, we give an intrinsic characterization of such noetherian form and show that it is very closely related to the known noetherian form of a semi-abelian category. In fact, we show that for a pointed category having finite products and sums, the existence of the type of noetherian form that any topos possesses is equivalent to the category being semi-abelian (this result is unexpected since only trivial toposes can be semi-abelian). We also show that these noetherian forms are optimal, in a suitable sense.

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Generalizations of lattices (06B75) Subalgebras, congruence relations (08A30) Categories of algebras (08C05) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Topoi (18B25) Fibered categories (18D30) Nonabelian homological algebra (category-theoretic aspects) (18G50) Protomodular categories, semi-abelian categories, Mal'tsev categories (18E13)

This page was built for publication: Every topos has an optimal noetherian form

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