merlibornの記事一覧 | Mathlog

@merliborn

merliborn

16

1549

Follow 6

Traces 13

Follow 6

Traces 13

圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。

未登録

未登録

未登録

所属組織

解説

大学数学以上

by

at

2022年04月28日

二分木にまつわる不思議な等式の話

半環，普遍代数学，データ構造

31

3

文献あり

解説

大学数学以上

by

at

2022年02月23日

ノート:スペクトル (2) - 射影演算子とスペクトル族

スペクトル理論，ヒルベルト空間

211

0

文献あり

解説

大学数学以上

by

at

2022年01月16日

ハミルトニアンからレンツベクトルを導出する

解析力学，物理学

145

1

文献あり

解説

大学数学以上

by

at

2022年01月12日

ノート：スペクトル (1) - スペクトルとは

スペクトル理論，ヒルベルト空間

19

0

文献あり

解説

大学数学以上

by

at

2021年12月17日

圏論から見るHaskellのApplicative

圏論，Haskell，計算機科学

260

2

文献あり

解説

大学数学以上

by

at

2021年12月16日

圏論から見るHaskellのFunctor

圏論，Haskell，計算機科学

494

2

文献あり

議論

大学数学以上

by

at

2021年04月04日

メモ：Shulmanの『圏論のための集合論』と推移的モデル

圏論，集合論，モデル理論

101

2

文献あり

解説

大学数学以上

by

at

2021年01月29日

自由とは何か

圏論，代数学

96

3

文献あり

解説

大学数学以上

by

at

2021年01月07日

モノイダル圏に関する基本的な性質2つ

192

3

文献あり