In certain categories of mathematical structures, non-trivial complementary radical classes (torsion classes or connectednesses) can be found. The question is why this is true for some but not for all categories. The answer depends on the embedding of trivial objects into nontrivial objects and is given by our main result: Any ‘reasonable’ category has no non-trivial complementary radical and semisimple classes if and only if for every trivial object T and every non-trivial object A there is a morphism T → A. Roughly, a ‘reasonable’ category in our sense is one with at least one object into which a terminal object can be embedded and has finite products, coproducts or lexicographic products.
ASJC Scopus subject areas
- Mathematics (miscellaneous)