The global-dimension extension for trace monoid diagram categories
Global-dimension extension. This is true for all Abelian categories with coproducts.
MathDB