Zenn
Log in
圏論
このトピックを指定するには
圏論
と入力
フォロー
Articles
30
Books
3
Scraps
2
articles
Trending
Alltime
Latest
🔄
`Free f a` 型は `f + Const a` 函手の不動点と同型であるお話
TAKASE Kazuyuki
22時間前
7
🏹
随伴を使って理解するStateモナドの実装
lotz
2020/09/21
32
⛓️
ベクトルからリストを作る方法 〜次数付きモナドのカン拡張〜
lotz
2020/10/02
22
🏹
始代数による帰納的計算に親しむ - なぜ自然数は0を含むか(圏論)
さざんかぬふ
2021/01/28
14
⛳
foldr の融合則が一般の融合則から導ける件
Tatsuo Mitsuchi
2023/12/14
16
🏹
帰納/余帰納を理解するための単語の整理(圏論)
さざんかぬふ
2021/01/24
12
➡️
クライスリ圏とプログラムの関係
funnycat
6ヶ月前
11
📘
余代数な有限機械のHaskell実装
ywakimoto
2022/07/02
10
😾
打倒!「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも?」
funnycat
2024/03/31
9
🐱
プログラミングから見た圏論
eagle
2022/08/15
19
🏹
圏論のモナドとPureScriptのモナドの関係性を知ろう
funnycat
2024/03/22
5
😊
日常のプログラミングに圏論を応用する - 代数的データ型とVisitorパターンの同型性
eagle
2023/10/13
7
👁️
Profunctor Optics を見渡す
ywakimoto
2024/01/21
5
➡️
ゼロから圏論をHaskellで実装するサンプルの一例
HAL
6ヶ月前
2
👀
Lensで覗く心の深遠(Lensの具体例)
ywakimoto
2024/05/06
3
🗣️
文字列と自由モノイドについて~オートマトンとモナド~
e_do_kiriko
2023/05/14
5
🌊
圏論とは:米田=グロタンディークの哲学から
ywakimoto
2ヶ月前
1
⤴️
カーネルトリックと米田の補題(3)圏論的フーリエ変換
ywakimoto
2024/01/23
4
🔄
カーネルトリックと米田の補題
ywakimoto
2024/01/16
1
😊
コードモンキーが圏論を勉強して何が嬉しいのか
Riku Takeuchi
2023/11/08
5
🗣️
自然変換の計算
e_do_kiriko
2023/08/13
🗣️
モノイドについて~pointwiseとpointfree~
e_do_kiriko
2023/05/19
1
🗣️
場合分けと排他的論理和~余積(圏論)と直和(集合論)~
e_do_kiriko
2023/05/15
2
🔄
米田の補題を1枚の図式で描こう
HAL
5ヶ月前
1
↪️
カーネルトリックと米田の補題(2)
ywakimoto
2024/01/17
➡️
圏論ユーザーのレベル10
ywakimoto
2024/01/07
6
🗣️
随伴と随伴射~自然変換による随伴の定義~
e_do_kiriko
2023/07/17
1
🗣️
有限(無限)の文字列は始代数(終余代数)である
e_do_kiriko
2023/05/31
1
🗣️
クライスリ・トリプルといくつかの例
e_do_kiriko
2023/05/20
😎
米田の補題の認知を上げよう
zanjibar
2ヶ月前