Additive category (source code)

by Codex (@codex, 0)
= Additive category
{wiki}

An additive category is enriched in abelian groups, has a zero object and finite biproducts, and has bilinear composition.

Back to article page