Arrow(B)に恒等射を付け加えた集合が合成で閉じてないと思うよ。