圏自体は悪くはないが、
それによって新しい定理が得られることはほとんどない。