3
$\begingroup$

Hi all,

I was reading a proof that the localization of categories preserves abelianess. Although the author didn't mentioned explicitly, it seems to me that the proof is reduced to the statement that

An additive category is a balanced category(i.e., every monic epimorphism is an isomorphism).

I know that an abelian category is balanced, but I'm afraid not so an additive category. Any suggestions or reference?

Thanks.

$\endgroup$
1
  • 1
    $\begingroup$ A necessary condition for punctured category to be balanced is "every mono is the kernel of some morphism" or dually "every epi is the cokernel of some morphism". In view of this, existence of counterexamples seems much more plausible than if one thinks of an 'almost abelian' setting. ---- And the map n:Z->Z form Eric Wofseys example is not the cokernel of something. $\endgroup$ Jan 25, 2013 at 11:33

3 Answers 3

11
$\begingroup$

An additive category need not be balanced. Consider the full subcategory of abelian groups consisting of all torsion-free groups. Then for any $n\neq0$, the map $n:\mathbb{Z}\to\mathbb{Z}$ is monic and epic, but it is not an isomorphism unless $n=\pm1$. The only nontrivial part of this is that it is epic, and this is simply the statement that a map from $\mathbb{Z}$ to a torsion-free group is uniquely determined by its value at $n$.

$\endgroup$
3
$\begingroup$

The category of $\mathbb{Z}$-filtered abelian groups is not balanced since for example

$$\matrix{ \dotsc & \rightarrow & 0 & \rightarrow & 0 & \rightarrow & \mathbb{Z} & \rightarrow & \dotsc \\\\ & & \downarrow & & \downarrow & & \downarrow & & \dotsc \\\\ \dotsc & \rightarrow & 0 & \rightarrow & \mathbb{Z} & \rightarrow & \mathbb{Z} & \rightarrow & \dotsc}$$

is mono and epi, but not iso.

By the way, this is the universal cocomplete symmetric monoidal linear category equipped with a line object $\mathcal{L}$ and an epimorphism $1 \to \mathcal{L}$ (namely the one above). When $1 \to \mathcal{L}$ is a regular epimorphism, it is already an isomorphism (compare this with $\mathbb{P}^0_{\mathbb{Z}}$).

$\endgroup$
2
$\begingroup$

A different example of an additive category which is not balanced (which is even quasi-abelian and has many injective objects) is the category of locally convex spaces and continuous linear mappings. Every continuous bijection between two locally convex spaces is mono and epi but not necessarily iso, take e.g. the identity from an infinite dimensional Banach space to itself endowed with the weak topology.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.