2009-05-07から1日間の記事一覧
海鳴社から出ている。 http://www.amazon.co.jp/%E9%87%8F%E5%AD%90%E5%8A%9B%E5%AD%A6%E3%81%A8%E6%9C%80%E9%81%A9%E5%88%B6%E5%BE%A1%E7%90%86%E8%AB%96%E2%80%95%E7%A2%BA%E7%8E%87%E9%87%8F%E5%AD%90%E5%8C%96%E3%81%A8%E7%A2%BA%E7%8E%87%E5%A4%89%E5%8…
iIY圏は発音しにくいのでY*圏にしよう。 Y0 = i Y1 = I Y2 = Y Y3 = (YI);Y = (IY);Y 関連することは: MapFO MapFOによる表現、1の3乗根 MapFOによる表現、右自明モノイド=更新(破壊的代入)モノイド MapFOによる表現、1の2乗根、involution、一般化した…
false == 0 は成立する。 false == undefine は成立しない。 if (undefined) でundefinedはfalseとして評価される。 NaN === NaN は常に成立しない。 "hello" == "hello" は成立する。 [1, 2] == [1, 2] は成立しない。 [1, , 2,,] は長さが3 docuement.writ…
どうも、圏の公理とは別に、なんらかの事例によって刷り込まれた期待、思いこみのようなものがあって、 圏の対象(の実体)は××○○でなくてはならない。 圏の射(の実体)は××○○でなくてはならない。 その他、idは、compは、… は××○○でなくてはならない。 の…
http://blog.sigfpe.com/2006/11/yoneda-lemma.html http://www.maths.gla.ac.uk/~tl/categories/index.html 下はトム・レインスター(Tom Leinster)の講義資料 This is the main page for the Part III Category Theory course given in Cambridge in the …
[追記] 順序は次のようかな。 MapFO MapFOへの表現、1の3乗根、1の2乗根、自明モノイド=更新モノイド Nに関する小物圏いろいろ PMapFO PMapFOに関して、二項定理と付点構成(モナド) RelFO RelFOに関して、非決定性写像 RelFOに関して、RelFO = MatΩ(FO) …
声トレというのがあるらしい。顔トレはないのか?まーともかく、シャベリの基本としての発声は大事だと思う。健康にもいいらしいぞ。本も出ている。