Here are some sketches of monads. I've annotated each with its species. I'm not a great artist and I only saw each of them for a fleeting moment so I had to fill in some details from memory. But I think the sketches are good enough to be able to recognise them in the wild. Click on the 'thumbnail' for the full size image. I'm currently trying to stalk some monads from the continuation family. When
http://golem.ph.utexas.edu/category/2009/04/graphical_category_theory_demo.html で知りました。 http://www.j-paine.org/cgi-bin/webcats/webcats.php ページ内にあるボタンを押すと、圏論の諸概念に対して有限集合の圏における具体例が、式と図で表示されます。[Your results are here.」のhereをクリックするとResultページが現れます。「Equaliser in the Category of Finite Sets」とか「Ternary Coproduct in the Category of Finite Sets」とか。 乱数を使っているので、Resultは毎回違いますが、僕がやったとき Colimit in the Category of
すべての鳥は、チョウゲンボウ(K)とホシムクドリ(S)から導き出される。そこで、賢人鳥(Y)を K と S から導出してみる。 チョウゲンボウ(K) K の定義は以下の通り。 Kxy = x ホシムクドリ(S) S の定義は以下の通り。 Sxyz = xz(yz) 自己鳥(I) I の定義は以下の通り。 Ix = x I は SKK と表現できる。 SKKx = Kx(Kx) = x ルリツグミ(B) B の定義は以下の通り。 Bxyz = x(yz) B は S(KS)K と表現できる。 S(KS)Kxyz = KSx(Kx)yz = S(Kx)yz = Kxz(yz) = x(yz) ウグイス(W) W の定義は以下の通り。 Wxy = xyy W は SS(KI) と表現できる。 SS(KI)xy = Sx(KIx)y = xy(KIxy) = xy(Iy) = xyy ヒバリ(L)
Learning Haskell through Category Theory, and Adventuring in Category Land: Like Flatterland, Only About Categories | Monadically Speaking: Adventures in Programming Language Theory
Learning Haskell through Category Theory, and Adventuring in Category Land: Like Flatterland, Only About Categories Two days ago, there was an interesting post by Andrzej Jaworski, entitled “[Haskell] Teach theory then Haskell as example,” dated “Wed, 14 Jan 2009 04:37:33 +0100,” on the Haskell mailing list on the Haskell programming language, recommending that Haskell be taught “on most abstract
Your language? Sep, 2020 Sun Mon Tue Wed Thu Fri Sat 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 Algebraic Topology: A guide to literature この サイト の 目 的 使 用 上 の 注 意 目 次 基 本 文 献 の 探 し 方 使 い 方 ホモロジ ー と コホモロジ ー ホモトピ ー 群 と ホモトピ ー 集 合 各 種 空 間 と 空 間 に 対 する 操 作 様 々 な 写 像 トポロジ ー の 歴 史 重 要 な 道 具 や 概 念 圏 と 関 手 スペクトル 系 列 代 数 的 な 道 具 コホモロジ ー 作 用 素 の 理論 K 理論 コボルデ ィ ズム と 関 連
Selected publications by Giuseppe Longo, after 1990 available as .dvi, .ps (some gzipped) or .pdf files by ftp and http 1 - Mathematical Logic and Computer Science. 2 - Cognition and Foundations of Mathematical Knowledge. 3 - Theoretical Biology. 4 - Interfaces Computability, Physics and Biology. 5 - Minima Philosophica. 6 - Minima Economica. 7 - 1980's: Some of the
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
