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