うお。
総高評価数
20
総閲覧数
1805
14
followers
14
follow
0
tags
趣味の話をするマン。
14
followers
14
follow
0
tags
趣味の話をするマン。
Home
Contents
Goods
記事
本
全てのカテゴリ
作成日順
高評価数順
解説
...
うお。
2021年8月6日
Cartesian Category 上での NNO の定義 (元 RIMS 出願用レポート)
531
5
議論
...
うお。
2021年4月5日
【疑問】 weak parametrized NNO について。
381
2
解説
...
うお。
2020年12月18日
Birkhoff's variety theorem from Freyd's adjoint functor theorem
143
3
解説
...
うお。
2020年12月12日
Ackermann Function in CCC with weak NNO
174
4
解説
...
うお。
2020年11月30日
万能帰納的関数に関する逆張り話。
516
4
解説
...
うお。
2020年11月14日
Cartesian Closed Category の定義。
61
2
読み込み中...
読み込み中