関数型プログラミング言語Haskell Part32

[817 デフォルトの名無しさん 2019/12/01(日) 12:50:50.29 ID:ZEhocPVE]

色々なコホモロジーの同型の証明については圏論は力を発揮するが、
型理論においてはそういう風にも考えられるよね？以上の意味はない。
単なる箔付けだな。