Mathlog
×
Mathlog
アカウント
アカウント作成
ログイン
その他
ヘルプ
利用規約
意見箱
@merliborn
merliborn
16
1549
Follow
6
Followers
8
Traces
13
Follow
6
Followers
8
Traces
13
圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。
未登録
未登録
未登録
所属組織
高評価数順
新着順
9
Articles
0
Books
36
Goods
解説
大学数学以上
by
merliborn
at
2022年04月28日
二分木にまつわる不思議な等式の話
半環
,
普遍代数学
,
データ構造
31
3
文献あり
解説
大学数学以上
by
merliborn
at
2022年02月23日
ノート:スペクトル (2) - 射影演算子とスペクトル族
スペクトル理論
,
ヒルベルト空間
211
0
文献あり
解説
大学数学以上
by
merliborn
at
2022年01月16日
ハミルトニアンからレンツベクトルを導出する
解析力学
,
物理学
145
1
文献あり
解説
大学数学以上
by
merliborn
at
2022年01月12日
ノート:スペクトル (1) - スペクトルとは
スペクトル理論
,
ヒルベルト空間
19
0
文献あり
解説
大学数学以上
by
merliborn
at
2021年12月17日
圏論から見るHaskellのApplicative
圏論
,
Haskell
,
計算機科学
260
2
文献あり
解説
大学数学以上
by
merliborn
at
2021年12月16日
圏論から見るHaskellのFunctor
圏論
,
Haskell
,
計算機科学
494
2
文献あり
議論
大学数学以上
by
merliborn
at
2021年04月04日
メモ:Shulmanの『圏論のための集合論』と推移的モデル
圏論
,
集合論
,
モデル理論
101
2
文献あり
解説
大学数学以上
by
merliborn
at
2021年01月29日
自由とは何か
圏論
,
代数学
96
3
文献あり
解説
大学数学以上
by
merliborn
at
2021年01月07日
モノイダル圏に関する基本的な性質2つ
圏論
192
3
文献あり