違った方面から攻めてみた。なんか途中。tex の frac を使ったので見づらい。 [tex: \frac{\large X \to^{} A \times A} {\frac{\large X \to^f A \hspace{4em} X \to^g A} {\frac{\large X + X \to^{\[f,g\]} A} {\frac{\large (X \times 1) + (X \times 1)…

朝風呂に入っていたら頭に浮かんだ、ものすごく素朴な疑問。 整数なり実数では普通に だけど、カルテシアン閉圏 (CCC) 一般に、任意の対象 で なのだろうか？普通にそうなりそうだし、集合の圏ならすぐ証明できそうだけど。 つか、普通の（型付）関数型言語…

バックハンドが安定せず困っていたところ、コーチから「構えているときは肘を折りたたんで、振りながら伸ばしていくようにするといい」とアドバイスをもらう。あー、確かにこっちの方が打ちやすい。自然に打点に入れるし、柔軟に打てる。 あと、思い出した。…