CAP_project icon indicating copy to clipboard operation
CAP_project copied to clipboard

Published 20 hours ago • verified publisher icon homalg-project

Rename AdditiveClosure into StrictAdditiveClosure

Open mohamed-barakat opened this issue 1 year ago • 0 comments

I suggest renaming AdditiveClosure into StrictAdditiveClosure since its universal property only works for functors into strict additive categories (those for which the unitors and associators of the direct sums are identities).

mohamed-barakat avatar Aug 16 '23 10:08 mohamed-barakat