search

FizzyElt / functional-programming

帶你探索 functional programming
https://fizzyelt.github.io/functional-programming/
MIT License
25 stars 0 forks source link

currying & cartesian closed category #3

Closed dannypsnl closed 11 months ago

dannypsnl commented 1 year ago

先記錄一下，這跟

  1. 用 $a^b$ 表示 $b \to a$
  2. 把 $\Gamma = x_1 : T_1, x_2 : T_2, ..., x_n : T_n \vdash A$ 解釋成 $T_1 \times ... \times T_n \to A$

有關

dannypsnl commented 11 months ago

The reason is exponential and product form an adjunction

dannypsnl commented 11 months ago

https://dannypsnl.me/math-000D.xml