Tensor product
このテンソル積によりすべての -代数の圏 - はになる。