MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

I just realized yesterday that, given $A \to C, B \to C$ in an abelian category, the kernel of $A \oplus B \to C$ is not the direct sum of the kernels of $A \to C, B \to C$.