>>808
ηは埋め込み、μは例えば列の列は列みたいなもので、二回やるとどうか
ってのは射影のベキ等性みたいに非自明な性質。