adjunctionの話じゃなくて。 を整理したかった。 Hom に成るベクトル空間。 双対ベクトル空間 に成るベクトル空間。 でもある。 に対して、 である。 元の空間の基底をとすると、対応する双対ベクトル空間の基底として を取れる。(ここで はベクトル の 成分…

const f = _=>{ let a = 0; return _=>a++; }; const b = f(); const c = f(); b(); c(); b と c は異なる a を参照する。これらは実装的に「_=>a++;」と「a を持っている環境」から成っている。はず。あとprototype。 で、これをコンパイル言語で「挙動を再…

概念は、分離するべきなのか統合するべきなのか。多分正解はない。 ただ「関数」は様々な概念を包括しすぎではないだろうか。「全てが関数」というのは聞こえはいいが、考えてみればこれはその操作に本来備わっていたはずの直感を捨てていることに他ならない…

「データ構造の一部を操作する」という意味でのアクセスを面白い形で抽象化するのがlensである。 このライブラリは以下の種類のアクセスを扱えるようになっている。 相互変換 (Iso) 片側変換 (もう片方は常に可能) (Prism) 読み出し・書き込み (Lens) 複数の…