トップ
> 書籍
> Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)
> つぶやき
> hiratara
トップ
> 利用者
> hiratara
> つぶやき
> Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)
『Category Theory for Computing Science (Prentice-Hall International Series in Computer Science)』へのつぶやき
P49 subobjectの定義。monoで定義するのは知ってたが、同値をこう入れるのね。Setsでの部分集合とも完全に対応。結果、dom同士が同等になるのも面白い。
P47 Monにおいてinjectionとmonoが同値であることの証明。MonがNを含むことを利用。http://tinyurl.com/ndcxr6 でGrpのepiと全射の証明にも使えるかも？
P44 1を終対象とすると、Hom(1, A)はconstant of type Aと呼ばれAの要素を示唆する。が、モノイド圏でこの文脈を考えれば任意のモノイドMのconstantは1つになる。Hom(1, M)は単位元を保持する1つの準同形なので。
別の本では P/p は q ≦ p となってるので、greater than xが間違ってる気がする。(Google BooksのCategory theory の P15)
