新規作成
うお。
21
2119
趣味の話をするマン。
14
Followers
14
Follow
ホーム
記事
6
本
0
高評価
全てのカテゴリ
作成日順
評価順
大学数学基礎
解説
うお。
2021年8月6日
Cartesian Category 上での NNO の定義 (元 RIMS 出願用レポート)
5
0
597
0
大学数学基礎
議論
うお。
2021年4月5日
【疑問】 weak parametrized NNO について。
2
0
381
0
大学数学基礎
解説
うお。
2020年12月18日
Birkhoff's variety theorem from Freyd's adjoint functor theorem
3
0
220
0
大学数学基礎
解説
うお。
2020年12月12日
Ackermann Function in CCC with weak NNO
4
0
174
0
大学数学基礎
解説
うお。
2020年11月30日
万能帰納的関数に関する逆張り話。
5
0
663
0
大学数学基礎
解説
うお。
2020年11月14日
Cartesian Closed Category の定義。
2
0
84
0
読み込み中...
読み込み中