additive categoryWiktionary 原文英美释义名词noun1(mathematics) A preadditive category in which all finite biproducts (including the empty biproduct, which by definition must be a zero object) exist.