注意：distributorは用語的に問題があって、distributivityとか言うほうが望ましいだろう。が、-er, -or って語尾はコンピュータ／ソフトウェア屋さんは好きだから、distributor使う。まず普通の足し算に関して： associator自然同型 (A+B)+C ⇒ A+(B+C) 左un…