nLab
balanced category

Contents

Definition

A category is balanced if every monic epic morphism is an isomorphism. Monic epics are sometimes called bimorphisms.

Remarks

  • The possibility of monic epics that are not isomorphisms does not survive any strengthening of “monic” or “epic.” Any monic extremal epimorphism is necessarily an isomorphism, and therefore so is any monic strong epimorphism or regular epimorphism (and dually). It follows that if all epics, or all monos, are extremal, then the category is automatically balanced.

  • In an “unbalanced” category it is frequently the case that the monomorphisms, the epimorphisms, or both, are not the “right” notion to consider and should be replaced by their extremal, strong, or regular counterparts.

Examples and non-examples

  • Any topos (in fact, any pretopos) is balanced. Of course, this includes Set. A quasitopos, however, need not be.

  • Some algebraic categories, such as the category of groups, are balanced.

  • Any abelian category is balanced.

  • The category of rings is not balanced; ZQZ\hookrightarrow Q is monic and epic but not an isomorphism.

  • Topological categories are rarely balanced; in Top, for example, the monic epimorphisms are the continuous bijections. However, the category of compact Hausdorff spaces is balanced.

  • In a poset or a quiver, every morphism is both monic and epic; thus such categories are “as far as possible from being balanced.”

Revised on June 16, 2012 00:48:53 by Anonymous Coward (98.114.78.135)