帶積合成範疇

帶積合成範疇(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>及<C,D>一<C>一(D)(當C=D有意義時)生成的厭之子群.