人間の視点だと
(A, B) 〜 (FA, FB)
が代表的な同値性に見えてたけど、いろんなモノを抽象化してみたら
(FA, B) 〜 (A, GB)
もいたるところにある同値性だった

ということです