2002-03-21 [長年日記]
λ. 筋肉痛。
λ. 今日の逃避 with finite-set.rb
原さんにfinite-set.rbを教えてもらったので、それを使ってちょっと逃避。
でも、ダサいなぁ、これ。あと、epimorphicかつmonomorphicなだけじゃisomorphicの十分条件じゃないんだっけ? 射が写像ならこれで十分だったと思うけど……
CPL(Categorical Programming Language)は遠い……
λ. Savile Row
「背広」って"Savile Row"から来ているらしい。ホントかしら。
λ. 圏論
initial object, terminal object, product, sum の定義。
λ. スケート
ヤグディンすげー
例えば１つの集合にidentityが連続に成るような２つの位相を入れ<br>る事ができます。するとidentityは、Topでepi&monoだけど、iso<br>じゃないですよね。<br>class Categoryおもしろそうです。なぜeach_sectionと<br>each_retractionは並列に動かしているのかな。
> 例えば１つの集合にidentityが連続に成るような２つの位相を入れ<br>> る事ができます。するとidentityは、Topでepi&monoだけど、iso<br>> じゃないですよね。<br><br>なるほど、何となく分かったような気がします。<br>位相は良く知らないけど。(苦笑)<br>(というか、SFCってまともな数学の授業がないんですよー (涙))<br><br>> class Categoryおもしろそうです。なぜeach_sectionと<br>> each_retractionは並列に動かしているのかな。<br><br>再帰を使ってこういう風に書いているのは、<br>最初それしか思いつかなかったからです。<br><br>いま考えると、Set#powerみたいな感じでsectionsとretractionsを<br>定義するという手もあったのですね。<br><br>PS:<br>Map#composeがtargetを引き継いでくれないのは<br>ちょっと悲しいです。
> Map#composeがtargetを引き継いでくれないのは<br>> ちょっと悲しいです。<br><br>直しました。target と source があまりに非対称なんで、<br>困ってしまいます。