[B! cat-theory] m-hiyama-taxonのブックマーク
気まぐれと偶然となりゆきで、ここ2,3回はモナドを話題にしました。googleで「モナド」を引いてザッと眺めると、「モナドはむずかしいー」とか「モナドで挫折した」みたいな雰囲気が感じられて、説明芸人の血が少し騒ぎましたね。「なら、予備知識ゼロでモナドの説明をしてやろうじゃねーか」と。 タイトルはだいぶ煽っちゃった…… けど、ハッタリじゃないつもり…… けど、実際はどうかな？ ※印刷のときはサイドバーが消えます。 内容： とりあえず、あたりさわりなくモナドの来歴を紹介する こんな課題を考えてみよう：副作用付き計算 カウントアップする関数達 カウントアップしたい意志を戻り値で伝える それでは、いったい誰がカウントアップをするのだ 関数の引数の型をCountup型にまで拡張する そして、これがモナドだ とりあえず、あたりさわりなくモナドの来歴を紹介する 今からここで説明する「モナド（monad）
)
射 (圏論) - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "射" 圏論 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2009年7月) 数学の多くの分野において、型射あるいは射（しゃ、英: morphism; モルフィズム）は、ある数学的構造を持つ数学的対象から別の数学的対象への「構造を保つ」写像の意味で用いられる（準同型）。この意味での射の概念は現代的な数学のあらゆる場所で繰り返し生じてくる。例えば集合論における射は写像であり、線型代数学における線型写像、群論における群準同型、位相空間論における連続写像、… といったようなものなどがそうである。 圏論における射はこのような概念を広く推し進め、
圏論（Category Theory）
序 圏 関手 自然変換 随伴関手 表現可能性 参考書 [ 序 ] 圏の理論は数学の理論的な構造を明確にするのに役立つ。 以下、圏論についてまとめることにする。 [ 圏 ] 「対象」とよばれるモノ（ = 数学的な対象 ）のクラスと対象 X から Yへの 「射（morphism）」とよばれる要素からなる集合 Hom(X, Y) が指定されていて、f ∈ Hom(X, Y) と g ∈ Hom(Y, Z) に対してはその「合成」とよばれる射 gf が定められていて、以下の３条件を 満たしているときこれらの総合概念 C を 圏（category）とよぶ。 （Cat 1） 射の合成は結合法則 h(gf) = (hg)f をみたす. （Cat 2） 任意の対象 X に対して ∃ε∈Hom(X, X) ∀f∈Hom(X, Y)∀g∈ Hom(Z, X), fε=f, εg
圏論の基礎 - 言語ゲーム
ちょっぴり背伸びをして、『圏論の基礎』S.マックレーン isbn:4431708723 を読む。一目見て全く歯が立たないとすぐに諦めかけたが、結構高いし(4,700円)諦めるのは勿体無さすぎる。十回くらい眺めていると少しずつ解読する手がかりが見えてきたような気がしたので、分かった事を書く。 圏とは何か？ (p 7) 圏と言うのは矢印(arrow)の集まりの事を言う。だけど矢印とは呼ばず、日本語ではプロっぽく『射』と言う。矢印には根っこと先っぽがあるが、根っこと先っぽにはそれぞれ何かがくっついている。そのくっついている何かを『対象』と言う。もしくは、対象のほうに矢印がくっついていると見ても同じ事だ。とにかく、根っこについた物をドメイン dom (domain)と呼び、先っぽについた物をコドメイン cod (codomain)と呼ぶ。難しいのは呼び方だけで、意味は簡単。 さらにこれらの矢印を圏
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
