Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 3 of 3
did some brushing-up at _[[semiadditive category]]_.
did some brushing-up at semiadditive category.
Maybe it could be linked to [[additive and abelian categories]]
Also, if I am not wrong, such "semiadditive" cats are called "linear" by Lawvere-Schanuel in "Conceptual Mathematics"...