ロマンの"Profunctor optics and traversals" https://arxiv.org/pdf/2001.08045.pdf のp.55 の The profunctor representation theorem 内部ホムを使って書けば：淡中対象の定義形をあわせると：少し違う、この違いを解消したい。たぶん、同時淡中対象〈joi…