  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.
