なんとなくメモAn Applicative is a Monoid in the category of endofunctors, what's the problem?monadとかapplicativeとか、めっちゃ役にたつのってなんでだろうと考えてみた。ようは、関数fとかgとかがあって、それを合成して何かプログラムができたとし…

lyxで図式を書きたくなった。 キッカケは、 ald-d@2019年はスッスッスを見ろ on Twitter: "ちなみにこんな感じで書いています…… " のツイートそもそもlatexで図式を書く場合は、amscd、Xy-pic、TikZなどがある。 図式の書き方について : 圏論 | 壱大整域さて…