随伴性の持ち上げ

L -| R :C→D があるとき、任意のEを持ってきて、

• (-*L) -| (-*R) :C^E→D^E

と持ち上がる。この事実をうまいこと絵に描くにはどうしたらいい？