逆裏対偶という意味を持たせようとおもったらトポスを持ってこないとダメな気がする