Name for not-quite-additive categories