Posted in category "- 数学杂记"

All / - 数学杂记 Category

01-20

紧致辛群和四元代数

12-29

Differentiable Manifolds 微分流形

12-03

Something About Linear Logic

11-08

Analysis of Boolean Function （Course Exercise Solutions)

10-19

傅里叶变换 (绕过群表示论，单位根)

10-06

Yoneda Lemma 米田引理

10-06

Category Theory (Course Exercise Solutions)

09-16

Galois Connection & Galois Embedding

08-10

关于Monad

07-27

Logic categories