175 followers
3,243 followers
RT @viercc: 多項式関手(関手Set -> Setで、いくつかの表現可能関手の和で書けるような奴ら)は、関手とか言わずに集合の言葉だけでそいつらを表現するデータを書けて、この著者らはそれを(以前から)Containerと呼んでる。
3,243 followers
3,243 followers
RT @viercc: 自分がしばらく考えていたこと、やっぱり先行研究あったな https://t.co/rdqBOzGnqJ