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