Steve Awodey の Category Theory を読む : Chapter 4 - 俺の Colimit を越えてゆけ
Steve Awodey の Category Theory を読む シリーズトップ 4.1 Groups in a category Corollary 4.6 4.2 The category of groups is an equivalence relation Corollary 4.11 Cokernels are special coequalizers 4.3 Groups as categories composition of the congruence category is well-defined is a congruence Theorem 4.13 4.4 Finitely presented categories smallest congruence 参考書籍 4.1 Groups in a category Corollary 4.6 任意の が a
圏論の考え方でつくられていない、JavaScriptで動作する spinoza (スピノザ) - (1) - Qiita
圏論の考え方でつくられていない、JavaScriptで動作する spinoza (スピノザ) - (1)Haskell関数型言語数学モナド関数型プログラミング qiitaに圏論について事実ではないことを書いたエントリが何個か挙げられています。本シリーズではその内容について吟味していこうと思います。 関数、値、圏論、モナド、評価戦略、純粋関数型、その辺りの「数学的基礎」を教えるの圏論について書かれている部分で、誤っている部分、正しい部分を解説していきます。 私が使う「評価」つまり「計算」っていう言葉遣いが、 ..中略.. そしてその彼らの理論的背景は数学だそうです。 圏論とか。 彼らがそう思っている数学的理論背景である「圏論」には、 もちろんそんな決意表明を後押しするような 理論、考え方なんてあるわけもなく、 「彼ら」の議論を追えていないのでコンテキストが不明ですが、引用した部分に関しては正
"圏論とかモナドなんて簡単だからscalaを使って説明してみた"を検証してみた - Pixel Pedals of Tomakomai
射っていうのはscalaだと単なる関数だし、関手はmap、モナドはflatMapなだけです。これのどこが難しいというのでしょう。 圏論とかモナドなんて簡単だからscalaを使って説明してみた 内容について考えてみよう。 圏の定義？ trait Cat { type A type B def f:A => B } trait Cat { type A type B type C def f:A => B def g:B => C def f_g:A => C = f andThen g } 圏論とかモナドなんて簡単だからscalaを使って説明してみた ここで定義されているCatはただの1本の射であって圏とは言い難い。hom setを定義したというのならまだわかるが、ScalazのHomとは似ているが違う定義だ。具体的に言うと、Homは1本の射fではなく、射を表す型であるCが定義されている。
休日カフェタイム (KCT)
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
ワタタツのウィッ記 - けんろん!
かわず氏 (@kawazu1147) によるこの発言が発祥です。 けんろん！をやるべき。誰かストーリー考えて漫画化してアニメ化して映画化してください。 http://twitter.com/kawazu1147/status/24493312812 登場人物 加法ケン (くわのり けん) 安鈴ケン (あべる けん) 三角ケン (みつかど けん) 米田信夫 (よねだ のぶお) 必殺技「ヨネダ・イクステンション」 志村ケン (しむら けん) 近所の中華料理屋 「導来軒」 寺井武道 (てらい ぶどう) 導来軒の小粋なご主人 糧とゴリ かわいい2つのキャラ 特徴的セリフ・キーワード 「あんたの要素なんかに興味なんかないのよ!」 Ken-triangle = ケン△ (ケンさんかっけー)
完全実装付きでもう一度お送りします、しりとりの圏 - 檜山正幸のキマイラ飼育記 (はてなBlog)
昨日のセミナーで、圏の簡単な事例として「しりとりの圏」を出したのですが、ハッキリとしたイメージを持てなかった人も多かったようです。 “技術者／プログラマ”であれば、実際に動くコードを持ち出すのが手っ取り早いのかな、と思い、しりとりの圏をJavaScriptで実装してみました。ここでは、このJavaScriptコードにそって、あらためてしりとりの圏を解説します。セミナーの内容や知識をまったく前提にしていません。白紙からの説明です。ただし、以前の記事（2006年8月21日）は参照する必要があります。 以前の記事とJavaScriptソースコードを並べて表示したい人は、次のリンクをクリックしてください。別なウィンドウ／タブで2つの参考エントリーが開くはずです。 はじめての圏論 その第1歩：しりとりの圏 （以前の記事） しりとりの圏 -- JavaScriptによる実装 （JavaScriptソー
型によるしりとりの成立判定 - コンピュータってすごいらしい
(12/12更新) eq型のパターンマッチを使って型を書き換えるテクニックを 知ったので、mcomposeの書き直し。 型がMorphism A B -> Morphism B C -> Morphism A Cで、計算できるものができた。 ただし諸定理の定義をDefined.でTransparentにしておかないとうまくいかない模様。 概要 依存型プログラミング(Coq)の練習のために モニャドセミナー第1回 http://d.hatena.ne.jp/m-hiyama/20090414/1239686984 で知ったしりとりの圏 http://d.hatena.ne.jp/m-hiyama/20090424/1240552575 を実装しようと試みている。 (4/25少し更新。) 依存型と圏の射 Coqを知らない人に見てほしいことは mkobuta(Morphismとしてのこぶた)が"
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - agda/categories: Categories parametrized by morphism equality, in Agda