圏論について
javascriptに足りないもの と 圏論 初めての投稿になります。 お手柔らかに接していただけると幸いです。 なお、記事に対する意見は諸々あると思います ...
16
11
Comment0
634 search resultsShowing 1~20 results
Stocked
You need to log-in
はじめての圏論
圏論は第二次世界大戦中にアメリカの数学者Samuel EilenbergとSaunders MacLaneによって構築されました。 当初は純粋数学の一理論で ...
130
127
Comment0
圏論メモ
ハビリもかね興味あるものを取り上げた。 qiitaで書く理由は、Haskellなどプログラミングへ応用されているので、書く場所として的外れでないから。 例えばカリー化とかを圏 ...
10
12
Comment1
プログラマのための圏論
YouTube 都度都度でプログラミングとからめて講義を進めてくれるので、はたと膝を打ちながら理解できる プログラマのための圏論 1 動機と哲学
5
7
Comment1
圏論におけるFreeモナド
n = Pure Pure a >>= f = f a Free m >>= f = Free (fmap (>>= f) m) これが圏 ...
4
3
Comment0
圏論から見たラムダ計算
in modern dress 読み始めたが、まったく分からない。いろいろ調べてどうやら、難しさが４階建てになっているようだ。それを図示すると以下のようになった。 １階の圏 ...
0
1
Comment0
もう諦めない圏論入門―圏と関手―
目次 圏論入門前の準備運動―集合と写像― もう諦めない圏論入門―対象と射― 具体例を通して圏の定義を受 ...
43
29
Comment0
圏論の並進式の提案
並進式【translational notation】を検討・提案する。 特徴 圏論の各記法と関連付けがし易い。実際それらにインスパイアされた。 二方向規則 ...
0
0
Comment0
圏論（けんろん）、圏論（けんろん）、圏論（けんろん）、そして米田の補題（よねだのほだい）
数学が本格的に日常に大きな影響を与える時代がきます 現時点で、数学の基礎理論である圏論は知られておらず、さらに圏論の最重 ...
4
1
Comment0
米田の補題 #14 圏の例 集合圏
米田の補題は、圏論でもっとも重要な定理です（繰り返し） 圏論は、数学の基礎理論です。いままで、万物の理論 といわれていま ...
0
0
Comment0
にわか圏論は恥だが役に立つ
e2(value, str) }) } } } 実際にはtheFuture*に相当するメソッドがもっとたくさんあって、ネストもかなり深くて読めたものではありませんでした。 圏 ...
1
0
Comment0
プログラマーのための圏論のまとめ
"Category Theory for Programmers" https://github.com/hmemcpy/milewski-ctfp-pdf プログラマーが圏 ...
1
1
Comment0
【圏論メモ】 表記法について
表記法について。 圏論を勉強していると、圏の圏の射は関手だったり、関手の圏の対象は関手だったりと、何が ...
2
2
Comment0
米田の補題 #15 圏の例 モノイドの圏
米田の補題は、圏論でもっとも重要な定理です（繰り返し） 圏論は、数学の基礎理論です。いままで、万物の理論 といわれていま ...
0
0
Comment0
圏論の図式をSwiftで描く
圏論の勉強をかねて図式をSwiftで描くプログラムを作っています。 今作っているのは次のようなものです。 これを使えばSwiftで圏の対象 ...
3
2
Comment0
Scala3と圏論とプログラミング
最近、圏論とプログラミングという素晴らしい資料を拝読しました。圏論とプログラミング愛に溢れる資料で読んでいて目頭が熱くな ...
32
26
Comment4
【圏論入門】わかりやすい圏論入門のための資料を見つけたので紹介する
初めに わたしは圏論勉強中のエンジニアです。専門家ではないので間違ったことを書いてしまうかもしれません。意図的に間違った概念を発信し、混乱させようという意 ...
11
4
Comment0
【圏論学習ログ】 ~米田の補題~
今日は米田の補題が何を言いたいのか,何が嬉しいのかを考えた. 粗方理解がついたので,以下にまとめていこうと思う. まず米田の補題の主張を簡単に言うと, HAからFへの自然変換ηは,F(A)から選...
1
0
Comment0
Haskellで圏論を学ぶ その１
はじめに 前の記事でHaskellを使ってみました。 今回から、Haskellを使って圏論を学んでいきたいと思います。 初回の今回は、圏
0
1
Comment0
圏論の考え方でつくられていない、JavaScriptで動作する spinoza (スピノザ) - (3)
前回に続き、関数、値、圏論、モナド、評価戦略、純粋関数型、その辺りの「数学的基礎」を教えるの圏論について言及している部分 ...
11
10
Comment1
634 search resultsShowing 1~20 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles