The extension-composition conjecture for additive homogeneous superfunctors
Extension-composition conjecture. There is a graded isomorphism, taking total degree on the left-hand side,