圏論

このトピックを指定するには圏論と入力

RSS表示を修正

articles

Trending Alltime Latest

随伴を使って理解するStateモナドの実装

2020/09/21 32

ベクトルからリストを作る方法〜次数付きモナドのカン拡張〜

2020/10/02 20

始代数による帰納的計算に親しむ - なぜ自然数は0を含むか（圏論）

さざんかぬふ

2021/01/27 14

帰納/余帰納を理解するための単語の整理（圏論）

さざんかぬふ

2021/01/24 12

余代数な有限機械のHaskell実装

2022/07/02 9

プログラミングから見た圏論

2022/08/15 11

文字列と自由モノイドについて～オートマトンとモナド～

4ヶ月前 3

自然変換の計算

1ヶ月前

モノイドについて～pointwiseとpointfree～

4ヶ月前 1

場合分けと排他的論理和～余積（圏論）と直和（集合論）～

4ヶ月前 1

随伴と随伴射～自然変換による随伴の定義～

2ヶ月前

有限（無限）の文字列は始代数（終余代数）である

4ヶ月前 1

クライスリ・トリプルといくつかの例

4ヶ月前