hirataraのつぶやき
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
P49 subobjectの定義。monoで定義するのは知ってたが、同値をこう入れるのね。Setsでの部分集合とも完全に対応。結果、dom同士が同等になるのも面白い。
P110 成功を収めているXPチームをあえて排除する「組織の抗体」って、非常に恐ろしい表現だが的確な気がする。
P109 「> チームの結束を強くするよい方法は、一緒に食事をすることだ。」 ← 根性論とか昭和のやり方は嫌いだが、なんだかんだ言ってもこれは真実。
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
P47 証明で使ったSetでの1、MonでのNと言う対象は、忘却関手を表現する対象になっているとのこと。
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
P47 Monにおいてinjectionとmonoが同値であることの証明。MonがNを含むことを利用。http://tinyurl.com/ndcxr6 でGrpのepiと全射の証明にも使えるかも？
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
P44 1を終対象とすると、Hom(1, A)はconstant of type Aと呼ばれAの要素を示唆する。が、モノイド圏でこの文脈を考えれば任意のモノイドMのconstantは1つになる。Hom(1, M)は単位元を保持する1つの準同形なので。
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
P39 2.1.3でグラフから圏を定義したが、任意のグラフはバスの圏を生成する。
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
別の本では P/p は q ≦ p となってるので、greater than xが間違ってる気がする。(Google BooksのCategory theory の P15)
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
P38 2.6.15 の greater than x。 x α y となるような y のことなら、逆な気がする・・・どこか定義読み間違えてる？
P99 「> ふりかえりでは、一度口を開くことで次に話しやすくなる。「はい」という合意の言葉を待つことによって、参加を促すことができる。」 ← 形式的に発声する機会をメンバー全員に与えるだけで、その後のミーティングは有意義になる。
「> 「なぜ」と5回尋ねる」 ←なぜを繰り返す度に、問題点が人から離れて根本のプロセスへ移って行く。
P94 「> 人を避難するのではなく、プロセスを非難しよう」 ←わかってても非常に守られにくい。
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
P33 Kleene closureのmapの定義出て来た。
P94 「情報満載の職場」の「プロセス改善チャート」の考え方は面白い。「> もしチームがそれを必要としなければ、お気に入りのチャートであってもあきらめる」も重要。うちも諦める決断をしたことがある。
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
P29 ω-CPO間の写像の連続性。ω鎖(s, t, t...)の上限はtなので、連続写像fによる像の上限はf(t)。よって、f(s)≦f(t)でmonotone。monotone写像fがω鎖をω鎖に移すのは自明。
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
P1 よく見るとＮは0を含む定義っぽい。
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
P28 ω-chainは無限列なので上限を考える意味がある。
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
P25 半群とかモノイドの定義。我々が普段言うListは、Kleene closureという物で、A^*と書く。
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
P23 関数型言語の圏。型が対象、プリミティブからつくれる操作が射。定数は1と言う型からの射で与えている。お陰でNATがsuccだけから定義できる。
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
第3版P94 domとcodが同じdiagramの可換を厳密に定義してる。丸矢印で書くとidの時だけ可換、A→Aみたいに対象を分けて書けば常に可換。
#
2年以上前 :
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』
第3版P92 graphに対してのshape graphをdiagramとして定義してる。要は同じgraphでも複数のgraph表現があるよということを厳密に定義してるのかな。
P80 ペアプロの注意で体臭と口臭について言及されてるｗｗ XPやるなら清潔にするのは必須のようだ。
P135 f^*の説明は層・圏・トポスP113のものより幾分か丁寧。f^*が恒等射と合成の保存を満たすかは確認した方がいいだろう(どちらもp.b.の唯一性から言える)。
P134 サブオブジェクトクラシファイアの証明はちょっと大胆すぎないか？ 「カンマ圏のmonoと元の圏のmonoが同じこと」「χ_hは元の圏のχとカンマ圏の対象(元の圏の射)の積であること」を言わないと危険な気が。
