带积合成范畴

带积合成范畴(category with product andcomposition)一种特殊的带积范畴.它在研究带积范畴的K}。群中具有相当的重要性.设(x，y)为带积范畴且又有合成。 X <E<S，这个“。”不要求对一切A，B都有定义，但需满足如下条件:若A=B，C=D有定义，则(A土C)。(B土D)有定义，且(A土C)。