Example 12.3.13. Let $k$ be a field. Consider the category of filtered vector spaces over $k$. (See Definition 12.16.1.) Consider the filtered vector spaces $(V, F)$ and $(W, F)$ with $V = W = k$ and

$F^ iV = \left\{ \begin{matrix} V & \text{if} & i < 0 \\ 0 & \text{if} & i \geq 0 \end{matrix} \right. \text{ and } F^ iW = \left\{ \begin{matrix} W & \text{if} & i \leq 0 \\ 0 & \text{if} & i > 0 \end{matrix} \right.$

The map $f : V \to W$ corresponding to $\text{id}_ k$ on the underlying vector spaces has trivial kernel and cokernel but is not an isomorphism. Note also that $\mathop{\mathrm{Coim}}(f) = V$ and $\mathop{\mathrm{Im}}(f) = W$. This means that the category of filtered vector spaces over $k$ is not abelian.

There are also:

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).