Zenn
圏論
このトピックを指定するには
圏論
と入力
RSS
表示を修正
Articles
13
Books
2
articles
Trending
Alltime
Latest
🏹
随伴を使って理解するStateモナドの実装
lotz
2020/09/21
32
⛓️
ベクトルからリストを作る方法 〜次数付きモナドのカン拡張〜
lotz
2020/10/02
20
🏹
始代数による帰納的計算に親しむ - なぜ自然数は0を含むか(圏論)
さざんかぬふ
2021/01/27
14
🏹
帰納/余帰納を理解するための単語の整理(圏論)
さざんかぬふ
2021/01/24
12
📘
余代数な有限機械のHaskell実装
ywakimoto
2022/07/02
9
🐱
プログラミングから見た圏論
eagle
2022/08/15
11
🗣️
文字列と自由モノイドについて~オートマトンとモナド~
e_do_kiriko
4ヶ月前
3
🗣️
自然変換の計算
e_do_kiriko
1ヶ月前
🗣️
モノイドについて~pointwiseとpointfree~
e_do_kiriko
4ヶ月前
1
🗣️
場合分けと排他的論理和~余積(圏論)と直和(集合論)~
e_do_kiriko
4ヶ月前
1
🗣️
随伴と随伴射~自然変換による随伴の定義~
e_do_kiriko
2ヶ月前
🗣️
有限(無限)の文字列は始代数(終余代数)である
e_do_kiriko
4ヶ月前
1
🗣️
クライスリ・トリプルといくつかの例
e_do_kiriko
4ヶ月前