有限直積と有限直和が同一概念(無限直積と無限直和は非制限と制限の違い)だがテンソル積とは別概念
ちう圏もよくあるでぃー