CWM は 圏論の基礎のこと。 @taiki45 ε( ε^o^)э CWM p.224にあるでし〜 S:Cop \prod C -> Xのendとsubdivision catでのS^$のlimitが同型なんでし〜〜〜— みょん (@myuon_myon) 2014, 2月 3 @taiki45 ε( ε^o^)э めっちょざっくり言うと、ある圏にf:b->cって射…

newtype、まだつかったことないでし…— (deffish *tai*) (@taiki45) 2014, 2月 3 newtypeはその制約のおかげで構造を入れやすいから汎用的な構造つきデータを表現するのに便利 typeは型に別名を与えたいときとか型変数に「意味」をもたせたいときに便利— みょ…