>>437
逆裏対偶という論理学の概念をそのままもってきたのでトポスなどを連想させてしまったのですが、
逆は逆関手くらいの意味でした。裏関手や対偶関手なんていうのは耳にしませんが、でも随伴というのは
こういう意味での（どういう意味かと言われそうですが）真偽概念が入らなくても、逆操作や裏返し操作
と関係するのではないかという質問でした。どうでしょうか？