2018-03-09 随伴性の持ち上げ 圏一般論 課題 L -| R :C→D があるとき、任意のEを持ってきて、 (-*L) -| (-*R) :CE→DE と持ち上がる。この事実をうまいこと絵に描くにはどうしたらいい?