isomorph @isomorph@mathtod.online
- 興味１
- 圏論
- 興味２
- λx.x λxy.x λxyz.xz(yz)
- 興味３
- ι = f -> f(S)(K)
- 興味４
- jot
Isomorphです。
圏論を学習中です。
数論は苦手で、素数の例を上げろと言われたら
57と答える人です。
よろしくおねがいします。
Joined Aug 2020
- 興味１
- 圏論
- 興味２
- λx.x λxy.x λxyz.xz(yz)
- 興味３
- ι = f -> f(S)(K)
- 興味４
- jot
Isomorphです。
圏論を学習中です。
数論は苦手で、素数の例を上げろと言われたら
57と答える人です。
よろしくおねがいします。
Joined Aug 2020
