「コンパクト閉圏と絵算で理解する線形代数とシーケント計算（入り口だけ）」において、アブラムスキーのネーム／コネームの話をしました。もう少し一般的な文脈では、射fのネームの仲間は4種類あります。それぞろを、∩f、f∩、∪f、 f∪ と書きましょう。絵で…