Wow, observed violation of Conservation of Bitter.
I shall expect the universe to collapse in on itself
Saw "The Insider" in McConomy. Long, (2:50) but good.
Ah, using Zorn's Lemma, given a category C, there exists
a maximal full Cantor-Bernstein subcategory D
of C, considering the all the morphisms which are -monic
in D-. The statment also more easily holds if only morphisms
monic in C matter.