In category theory and its applications to mathematics, a biproduct is a generalisation of the notion of direct sum that makes sense in any preadditive category.