Can a topos ever be a nontrivial abelian category? If not, where does the contradiction lie? If a topos can be an abelian category, can you give a (notrivial!) example?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
No. In fact no nontrivial cartesian closed category can have a zero object 0 (one which is both initial and final), as then for any X, 0 = 0 × X = X. (The first equality uses the fact that – × X commutes with colimits and in particular the empty colimit, and the second holds because 0 is also the final object.) 

