積と和って双対だし
圏論だと