新規作成
うお。
総高評価数
20
総閲覧数
1954
14
followers
14
follow
0
tags
趣味の話をするマン。
14
followers
14
follow
0
tags
趣味の話をするマン。
Home
Contents
Goods
記事
本
全てのカテゴリ
作成日順
評価順
解説
...
うお。
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
143
0
解説
...
うお。
2020年12月12日
Ackermann Function in CCC with weak NNO
4
0
174
0
解説
...
うお。
2020年11月30日
万能帰納的関数に関する逆張り話。
4
0
575
0
解説
...
うお。
2020年11月14日
Cartesian Closed Category の定義。
2
0
84
0
読み込み中...
読み込み中