2007-05-22 不思議 misc 全射 f : A → BA が存在すれば、任意の g : B → B に不動点がある。なんかこういう抽象的な話を聞くととりあえず「へぇ」と感嘆するけど、大抵よくわからないのが悲しい。色々と応用ができて、簡単な所では |X| ≠ |2X| とかがすぐに導けるそうな。へぇ。