带积合成范畴(category with product andcomposition)一种特殊的带积范畴.它在研究带积范畴的K}。群中具有相当的重要性.设(x，y)为带积范畴且又有合成。 X <E<S，这个“。”不要求对一切A,B都有定义，但需满足如下条件:若A=B,C=D有定义，则(A土C)。(B土D)有定义，且(A土C)。(B土D)=(A, B)土(C )D>,`d A,B,C,DE)，这时称为一个带积合成范畴.以<A>表AEI的同构类，以E作基生成的加法自由阿贝尔群记为了，而.x为由一切<A土B>一<A>一<B>及<...