merliborn
総高評価数
16
総閲覧数
2791
9
followers
6
follow
13
tags
圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。
9
followers
6
follow
13
tags
圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。
Home
Contents
Goods
人気の記事
解説
...
2021年1月29日
自由とは何か
圏論
,
代数学
365
3
文献あり
解説
...
2021年1月7日
モノイダル圏に関する基本的な性質2つ
圏論
343
3
文献あり
解説
...
2022年4月28日
二分木にまつわる不思議な等式の話
普遍代数学
,
データ構造
,
半環
66
3
文献あり
4
解説
...
2021年12月16日
圏論から見るHaskellのFunctor
圏論
,
計算機科学
,
Haskell
649
2
文献あり
5
解説
...
2021年12月17日
圏論から見るHaskellのApplicative
圏論
,
計算機科学
,
Haskell
437
2
文献あり
新着の記事
解説
...
7月17日
ノート:トポス (1) - 初等トポスは有限余完備である
圏論
,
トポス
,
モナド
73
2
文献あり
解説
...
5月30日
スカラー三重積と3k-次元k-ベクトル空間
ベクトル解析
,
スカラー三重積
,
外積代数
73
1
文献あり
解説
...
2022年4月28日
二分木にまつわる不思議な等式の話
普遍代数学
,
データ構造
,
半環
66
3
文献あり
解説
...
2022年2月23日
ノート:スペクトル (2) - 射影演算子とスペクトル族
スペクトル理論
,
ヒルベルト空間
389
0
文献あり
解説
...
2022年1月16日
ハミルトニアンからレンツベクトルを導出する
物理学
,
解析力学
253
1
文献あり
新着の本
このユーザは本を投稿していません。