generated at
随伴の単位は分裂モノならばイコライザー
随伴系の単位は分裂モノ射ならばイコライザー