うお。の記事一覧 | Mathlog

21

2133

趣味の話をするマン。

大学数学基礎解説

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

222

0

大学数学基礎解説

2020年12月12日

Ackermann Function in CCC with weak NNO

4

0

174

0

大学数学基礎解説

2020年11月30日

万能帰納的関数に関する逆張り話。

5

0

675

0

大学数学基礎解説

2020年11月14日

Cartesian Closed Category の定義。

2

0

84

0

読み込み中